# [poe] not all contraint operators are logical operators

• From: simon via GitHub <sysbot+gh@w3.org>
• Date: Fri, 16 Jun 2017 08:04:45 +0000
• Message-ID: <issues.opened-236409658-1497600284-sysbot+gh@w3.org>
```simonstey has just created a new issue for https://github.com/w3c/poe:

== 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)

Please view or discuss this issue at https://github.com/w3c/poe/issues/194 using your GitHub account
```

Received on Friday, 16 June 2017 08:04:52 UTC