Packages

class Equal extends BitVector.Equal

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Equal
  2. Equal
  3. BinaryOperatorWidthableInputs
  4. BinaryOperator
  5. Operator
  6. Modifier
  7. Expression
  8. ExpressionContainer
  9. BaseNode
  10. ScalaLocated
  11. GlobalDataUser
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Equal()

Type Members

  1. type T = Expression with WidthProvider

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val algoIncrementale: Int
    Definition Classes
    BaseNode
  5. val algoInt: Int
    Definition Classes
    BaseNode
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def checkLiteralRange(check: (BitVectorLiteral, Expression with WidthProvider) => Unit): Unit
  8. def checkLiteralRanges(signed: Boolean): Unit
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  12. def foreachDrivingExpression(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  13. def foreachExpression(func: (Expression) => Unit): Unit
    Definition Classes
    BinaryOperatorExpressionContainer
  14. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. def getScalaLocationLong: String
    Definition Classes
    ScalaLocated
  16. def getScalaLocationShort: String
    Definition Classes
    ScalaLocated
  17. def getScalaTrace(): Throwable
    Definition Classes
    ScalaLocated
  18. def getTypeObject: TypeBool
    Definition Classes
    EqualExpression
  19. val globalData: GlobalData
    Definition Classes
    GlobalDataUser
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. var left: T
    Definition Classes
    BinaryOperator
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def normalizeInputs: Unit
    Definition Classes
    EqualEqualExpressionContainer
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  27. def opName: String
    Definition Classes
    EqualExpression
  28. def remapDrivingExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    ExpressionContainer
  29. def remapExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    BinaryOperatorExpressionContainer
  30. var right: T
    Definition Classes
    BinaryOperator
  31. val scalaTrace: Throwable
    Definition Classes
    ScalaLocated
  32. def setScalaLocated(source: ScalaLocated): Equal.this.type
    Definition Classes
    ScalaLocated
  33. def simplifyNode: Expression
    Definition Classes
    EqualExpression
  34. def stabilized(func: (Expression) => Expression, seed: Expression): Expression
    Definition Classes
    ExpressionContainer
  35. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  36. def toString(): String
    Definition Classes
    Expression → AnyRef → Any
  37. def toStringMultiLine(): String
    Definition Classes
    BinaryOperatorBaseNode
  38. def toStringRec(level: Int = 1): String
    Definition Classes
    Expression
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. def walkDrivingExpressions(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  43. def walkExpression(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  44. def walkExpressionPostorder(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  45. def walkRemapDrivingExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    ExpressionContainer
  46. def walkRemapExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    ExpressionContainer

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from BitVector.Equal

Inherited from BinaryOperator

Inherited from Operator

Inherited from Modifier

Inherited from Expression

Inherited from ExpressionContainer

Inherited from BaseNode

Inherited from ScalaLocated

Inherited from GlobalDataUser

Inherited from AnyRef

Inherited from Any

Ungrouped