class Sub extends BitVector.Sub
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Sub
- Sub
- Widthable
- WidthProvider
- BinaryOperatorWidthableInputs
- BinaryOperator
- Operator
- Modifier
- Expression
- ExpressionContainer
- BaseNode
- ScalaLocated
- GlobalDataUser
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new Sub()
Type Members
- type T = Expression with WidthProvider
- Definition Classes
- BinaryOperatorWidthableInputs → BinaryOperator
Value Members
- val algoIncrementale: Int
- Definition Classes
- BaseNode
- val algoInt: Int
- Definition Classes
- BaseNode
- def calcWidth: Int
- def checkLiteralRange(check: (BitVectorLiteral, Expression with WidthProvider) => Unit): Unit
- Definition Classes
- BinaryOperatorWidthableInputs
- def checkLiteralRanges(signed: Boolean): Unit
- Definition Classes
- BinaryOperatorWidthableInputs
- def foreachDrivingExpression(func: (Expression) => Unit): Unit
- Definition Classes
- ExpressionContainer
- def foreachExpression(func: (Expression) => Unit): Unit
- Definition Classes
- BinaryOperator → ExpressionContainer
- def getScalaLocationLong: String
- Definition Classes
- ScalaLocated
- def getScalaLocationShort: String
- Definition Classes
- ScalaLocated
- def getScalaTrace(): Throwable
- Definition Classes
- ScalaLocated
- def getTypeObject: TypeUInt
- Definition Classes
- Sub → Expression
- def getWidth: Int
- Definition Classes
- Widthable → WidthProvider
- val globalData: GlobalData
- Definition Classes
- GlobalDataUser
- var left: T
- Definition Classes
- BinaryOperator
- def normalizeInputs: Unit
- Definition Classes
- Sub → ExpressionContainer
- def opName: String
- Definition Classes
- Sub → Expression
- def remapDrivingExpressions(func: (Expression) => Expression): Unit
- Definition Classes
- ExpressionContainer
- def remapExpressions(func: (Expression) => Expression): Unit
- Definition Classes
- BinaryOperator → ExpressionContainer
- def resizeFactory: Resize
- var right: T
- Definition Classes
- BinaryOperator
- val scalaTrace: Throwable
- Definition Classes
- ScalaLocated
- def setScalaLocated(source: ScalaLocated): Sub.this.type
- Definition Classes
- ScalaLocated
- def simplifyNode: Expression
- Definition Classes
- Expression
- def stabilized(func: (Expression) => Expression, seed: Expression): Expression
- Definition Classes
- ExpressionContainer
- def toString(): String
- Definition Classes
- Sub → Expression → AnyRef → Any
- def toStringMultiLine(): String
- Definition Classes
- BinaryOperator → BaseNode
- def toStringRec(level: Int = 1): String
- Definition Classes
- Expression
- def walkDrivingExpressions(func: (Expression) => Unit): Unit
- Definition Classes
- ExpressionContainer
- def walkExpression(func: (Expression) => Unit): Unit
- Definition Classes
- ExpressionContainer
- def walkExpressionPostorder(func: (Expression) => Unit): Unit
- Definition Classes
- ExpressionContainer
- def walkRemapDrivingExpressions(func: (Expression) => Expression): Unit
- Definition Classes
- ExpressionContainer
- def walkRemapExpressions(func: (Expression) => Expression): Unit
- Definition Classes
- ExpressionContainer