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.