Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
X
xor(IntExpression)
- Method in class kodkod.ast.
IntExpression
Returns an IntExpression that represents the bitwise XOR of this and the given int node.
xor(BooleanValue, BooleanValue)
- Method in class kodkod.engine.bool.
BooleanFactory
Returns a boolean value whose meaning is [[v0]] ^ [[v1]].
xor(Int)
- Method in class kodkod.engine.bool.
Int
Returns an Int that represents the bitwise XOR of this and the given Int.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z