A B C D E F G H I J K L M N O P Q R S T U V W X

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.

A B C D E F G H I J K L M N O P Q R S T U V W X