public class BitVectorIdentity extends UnaryOperator<BitVectorVariable>
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
byte |
evaluate(BitVectorVariable lhs,
BitVectorVariable rhs)
Evaluate this equation, setting a new value for the left-hand side.
|
int |
hashCode() |
static BitVectorIdentity |
instance() |
boolean |
isIdentity() |
String |
toString() |
evaluate, makeEquation
public static BitVectorIdentity instance()
public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException
UnaryOperator
evaluate
in class UnaryOperator<BitVectorVariable>
IllegalArgumentException
public String toString()
toString
in class AbstractOperator<BitVectorVariable>
public int hashCode()
hashCode
in class AbstractOperator<BitVectorVariable>
public boolean equals(Object o)
equals
in class AbstractOperator<BitVectorVariable>
public boolean isIdentity()
isIdentity
in class UnaryOperator<BitVectorVariable>