Classification
Name |
LogicXor
|
Short Description |
Represents the Boolean exclusive disjunction
|
Class |
Term
|
Extension |
OTX Core library
|
Group |
Operations
|
Exceptions |
-
|
Checker Rules |
-
|
Standard Compliant |
Yes
|
OTL Syntax
BooleanVariable = BooleanTerm1 ^^ BooleanTerm2;
Description
LogicXor is a BooleanTerm which represents the Boolean exclusive disjunction. Returns true if and only if
one of the two operands is true, but not all. The following operator can be used: ^^
Return Value
The Term returns the value, see table below.
|
|
In OTX, Terms are categorized according to its return data type!
|
Data Type |
Description
|
Boolean |
The returned Boolean value of the exclusive disjunction of the BooleanTerm operands
|
Properties
Name |
Data Type |
Class |
Default |
Cardinality |
Description
|
Terms |
Boolean |
Term |
- |
[2..*] |
Represents the list of BooleanTerm operands of the exclusive disjunction. Terms shall be evaluated in the order of appearance in the OTX document.
|
OTL Examples
Boolean MyValueOfBool1 = true;
Boolean MyValueOfBool2 = false;
Boolean MyValueOfBool3 = true;
Boolean result;
result = MyValueOfBool1 ^^ MyValueOfBool2 ^^ false ^^ MyValueOfBool3;
See also
LogicAnd
LogicOr
LogicNot