# [poe] Issue: not all contraint operators are logical operators marked as Model

• From: Renato Iannella via GitHub <sysbot+gh@w3.org>
• Date: Mon, 19 Jun 2017 00:34:26 +0000
• Message-ID: <issues.labeled-236409658-None-sysbot+gh@w3.org>
riannella has just labeled an issue for https://github.com/w3c/poe as "Model":

== not all contraint operators are logical operators ==
http://w3c.github.io/poe/model/#constraint:
> Constraints can be represented as Atomic Constraints - in which the left and right operands are **logically compared** - or as Compound Constraints in which the left and right operands are existing Atomic Constraints, **which are also logically compared**.

that's wrong, you can't use logical operators in atomic constraints.

Relational operators [1]:
```
< : less than
<= : less than or equal to
> : greater than
>= : greater than or equal to
== : equal to
/= : not equal to
```

Logical operators [2]:
```
.NOT. : logical not
.AND. : logical and
.OR. : logical or
.EQV. : logical equivalence
.NEQV. : logical not equivalence
```

[1] http://www.cs.mtu.edu/~shene/COURSES/cs201/NOTES/chap03/relational.html
[2] http://www.cs.mtu.edu/~shene/COURSES/cs201/NOTES/chap03/logical.html

--------------

Also

> A Rule becomes effective if all of **its Constraints are satisfied**.

:+1:

> If the logical expression evaluates to true **the result of the Constraint is satisfied**.

:-1: (the constraint is satisfied, not its result)

See https://github.com/w3c/poe/issues/194

Received on Monday, 19 June 2017 00:34:32 UTC