Boolean operators are used to express logical relationships between expressions or constraints.
See also: OCL Precedence rules
Boolean Operators
| Operators
|
Description
|
| And
|
| And
|
True
|
False
|
Invalid
|
| True
|
true
|
false
|
true
|
| False
|
false
|
false
|
false
|
| Invalid
|
invalid
|
false
|
invalid
|
|
| Implies
|
| Implies
|
True
|
False
|
Invalid
|
| True
|
true
|
false
|
invalid
|
| False
|
true
|
true
|
true
|
| Invalid
|
true
|
invalid
|
invalid
|
|
| Or
|
| Or
|
True
|
False
|
Invalid
|
| True
|
true
|
true
|
true
|
| False
|
true
|
false
|
invalid
|
| Invalid
|
true
|
invalid
|
invalid
|
|
| Not
|
| Not
|
Result
|
| True
|
false
|
| False
|
true
|
| Invalid
|
invalid
|
|
| Xor
|
| Xor
|
True
|
False
|
Invalid
|
| True
|
false
|
true
|
invalid
|
| False
|
true
|
false
|
invalid
|
| Invalid
|
invalid
|
invalid
|
invalid
|
|
See also: https://wiki.mdriven.net/index.php/OCLOperators
Pages in category "OCL Boolean Operators"
The following 9 pages are in this category, out of 9 total.
