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
    Definition Classes
    BinaryOperatorWidthableInputs → BinaryOperator

Value Members

  1. val algoIncrementale: Int
    Definition Classes
    BaseNode
  2. val algoInt: Int
    Definition Classes
    BaseNode
  3. def checkLiteralRange(check: (BitVectorLiteral, Expression with WidthProvider) => Unit): Unit
    Definition Classes
    BinaryOperatorWidthableInputs
  4. def checkLiteralRanges(signed: Boolean): Unit
    Definition Classes
    BinaryOperatorWidthableInputs
  5. def foreachDrivingExpression(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  6. def foreachExpression(func: (Expression) => Unit): Unit
    Definition Classes
    BinaryOperator → ExpressionContainer
  7. def getScalaLocationLong: String
    Definition Classes
    ScalaLocated
  8. def getScalaLocationShort: String
    Definition Classes
    ScalaLocated
  9. def getScalaTrace(): Throwable
    Definition Classes
    ScalaLocated
  10. def getTypeObject: TypeBool
    Definition Classes
    Equal → Expression
  11. val globalData: GlobalData
    Definition Classes
    GlobalDataUser
  12. var left: T
    Definition Classes
    BinaryOperator
  13. def normalizeInputs: Unit
    Definition Classes
    Equal → Equal → ExpressionContainer
  14. def opName: String
    Definition Classes
    Equal → Expression
  15. def remapDrivingExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    ExpressionContainer
  16. def remapExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    BinaryOperator → ExpressionContainer
  17. var right: T
    Definition Classes
    BinaryOperator
  18. val scalaTrace: Throwable
    Definition Classes
    ScalaLocated
  19. def setScalaLocated(source: ScalaLocated): Equal.this.type
    Definition Classes
    ScalaLocated
  20. def simplifyNode: Expression
    Definition Classes
    Equal → Expression
  21. def stabilized(func: (Expression) => Expression, seed: Expression): Expression
    Definition Classes
    ExpressionContainer
  22. def toString(): String
    Definition Classes
    Expression → AnyRef → Any
  23. def toStringMultiLine(): String
    Definition Classes
    BinaryOperator → BaseNode
  24. def toStringRec(level: Int = 1): String
    Definition Classes
    Expression
  25. def walkDrivingExpressions(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  26. def walkExpression(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  27. def walkExpressionPostorder(func: (Expression) => Unit): Unit
    Definition Classes
    ExpressionContainer
  28. def walkRemapDrivingExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    ExpressionContainer
  29. def walkRemapExpressions(func: (Expression) => Expression): Unit
    Definition Classes
    ExpressionContainer