Class BitBlaster.Operand

  • Enclosing class:
    BitBlaster

    public static final class BitBlaster.Operand
    extends java.lang.Object
    Represents a bit-vector operand.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int index  
      boolean sign  
      int size  
      java.math.BigInteger value  
    • Constructor Summary

      Constructors 
      Constructor Description
      Operand​(int index, boolean sign, int size)  
      Operand​(int index, int size)  
      Operand​(java.math.BigInteger value)  
    • Field Detail

      • index

        public int index
      • sign

        public boolean sign
      • size

        public int size
      • value

        public java.math.BigInteger value
    • Constructor Detail

      • Operand

        public Operand​(java.math.BigInteger value)
      • Operand

        public Operand​(int index,
                       boolean sign,
                       int size)
      • Operand

        public Operand​(int index,
                       int size)
    • Method Detail

      • isValue

        public boolean isValue()
      • isVariable

        public boolean isVariable()
      • getSignedIndex

        public int getSignedIndex()
      • getSignedIndex

        public int getSignedIndex​(int i)