Package ru.ispras.fortress.logic
Class BitBlaster.Operand
- java.lang.Object
-
- ru.ispras.fortress.logic.BitBlaster.Operand
-
- Enclosing class:
- BitBlaster
public static final class BitBlaster.Operand extends java.lang.Object
Represents a bit-vector operand.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getSignedIndex()
int
getSignedIndex(int i)
boolean
isValue()
boolean
isVariable()
-