Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  def !==(other: BitVectorOperand): BoolOperand
3.  final def ##(): Int

   Definition Classes

   AnyRef → Any

4.  def %(other: BitVectorOperand): BitVectorOperand
5.  def &(other: BitVectorOperand): BitVectorOperand
6.  def *(other: BitVectorOperand): BitVectorOperand
7.  def -(other: BitVectorOperand): BitVectorOperand
8.  def /(other: BitVectorOperand): BitVectorOperand
9.  def <(other: BitVectorOperand): BoolOperand
10.  def <<(other: BitVectorOperand): BitVectorOperand
11.  def <=(other: BitVectorOperand): BoolOperand
12.  final def ==(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13.  def ===(other: BitVectorOperand): BoolOperand
14.  def >(other: BitVectorOperand): BoolOperand
15.  def >=(other: BitVectorOperand): BoolOperand
16.  def >>(other: BitVectorOperand): BitVectorOperand
17.  def >>>(other: BitVectorOperand): BitVectorOperand
18.  def ^(other: BitVectorOperand): BitVectorOperand
19.  def addNoOverflow(other: BitVectorOperand, isSigned: Boolean): BitVectorOperand
20.  def addNoUnderflow(other: BitVectorOperand): BitVectorOperand
21.  final def asInstanceOf[T0]: T0

    Definition Classes

    Any

22.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

23.  def concat(other: BitVectorOperand): BitVectorOperand
24.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

25.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

26.  def extract(high: Int, low: Int): BitVectorOperand
27.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

28.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

29.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

30.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

31.  def mulNoOverflow(other: BitVectorOperand, isSigned: Boolean): BitVectorOperand
32.  def mulNoUnderflow(other: BitVectorOperand): BitVectorOperand
33.  def nand(other: BitVectorOperand): BitVectorOperand
34.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

35.  def negNoOverflow: BitVectorOperand
36.  def nor(other: BitVectorOperand): BitVectorOperand
37.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

38.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

39.  def reducedAnd: BitVectorOperand
40.  def reducedOr: BitVectorOperand
41.  def repeat(count: Int): BitVectorOperand
42.  def rotateLeft(other: BitVectorOperand): BitVectorOperand
43.  def rotateRight(other: BitVectorOperand): BitVectorOperand
44.  def sdivNoOverflow(other: BitVectorOperand): BitVectorOperand
45.  def signExt(extraSize: Int): BitVectorOperand
46.  def srem(other: BitVectorOperand): BitVectorOperand
47.  def subNoOverflow(other: BitVectorOperand): BitVectorOperand
48.  def subNoUnderflow(other: BitVectorOperand, isSigned: Boolean): BitVectorOperand
49.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

50.  def toString(): String

    Definition Classes

    AnyRef → Any

51.  val tree: Tree[_ >: BottomSort <: BVSort]
52.  def unary_-: BitVectorOperand
53.  def unary_~: BitVectorOperand
54.  def urem(other: BitVectorOperand): BitVectorOperand
55.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

56.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

57.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

58.  def xnor(other: BitVectorOperand): BitVectorOperand
59.  def zeroExt(extraSize: Int): BitVectorOperand
60.  def |(other: BitVectorOperand): BitVectorOperand
61.  def ~/(other: BitVectorOperand): BitVectorOperand
62.  def ~<(other: BitVectorOperand): BoolOperand
63.  def ~<=(other: BitVectorOperand): BoolOperand
64.  def ~>(other: BitVectorOperand): BoolOperand
65.  def ~>=(other: BitVectorOperand): BoolOperand