Packages

abstract class ShiftLeftByInt extends ConstantOperatorWidthableInputs with Widthable with ShiftOperator

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ShiftLeftByInt
  2. ShiftOperator
  3. Widthable
  4. WidthProvider
  5. ConstantOperatorWidthableInputs
  6. ConstantOperator
  7. Operator
  8. Modifier
  9. Expression
  10. ExpressionContainer
  11. BaseNode
  12. ScalaLocated
  13. GlobalDataUser
  14. AnyRef
  15. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ShiftLeftByInt(shift: Int)

Type Members

  1. type T = Expression with WidthProvider
    Definition Classes
    ConstantOperatorWidthableInputs → ConstantOperator

Abstract Value Members

  1. abstract def getLiteralFactory: (BigInt, Int) ⇒ BitVectorLiteral
  2. abstract def getTypeObject: Any
    Definition Classes
    Expression
  3. abstract def opName: String
    Definition Classes
    Expression

Concrete 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 calcWidth(): Int
    Definition Classes
    ShiftLeftByInt → Widthable
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def foreachDrivingExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  12. def foreachExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ConstantOperator → ExpressionContainer
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. def getScalaLocationLong: String
    Definition Classes
    ScalaLocated
  15. def getScalaLocationShort: String
    Definition Classes
    ScalaLocated
  16. def getScalaTrace(): Throwable
    Definition Classes
    ScalaLocated
  17. def getWidth: Int
    Definition Classes
    Widthable → WidthProvider
  18. val globalData: GlobalData
    Definition Classes
    GlobalDataUser
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def normalizeInputs: Unit
    Definition Classes
    ExpressionContainer
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. def remapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  26. def remapExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ConstantOperator → ExpressionContainer
  27. def setScalaLocated(source: ScalaLocated): ShiftLeftByInt.this.type
    Definition Classes
    ScalaLocated
  28. val shift: Int
  29. def simplifyNode: Expression
    Definition Classes
    ShiftLeftByInt → Expression
  30. var source: T
    Definition Classes
    ConstantOperator
  31. def stabilized(func: (Expression) ⇒ Expression, seed: Expression): Expression
    Definition Classes
    ExpressionContainer
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    ShiftLeftByInt → Expression → AnyRef → Any
  34. def toStringMultiLine(): String
    Definition Classes
    BaseNode
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  39. def walkExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  40. def walkRemapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  41. def walkRemapExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer

Deprecated Value Members

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

    (Since version ) see corresponding Javadoc for more information.

Inherited from ShiftOperator

Inherited from Widthable

Inherited from WidthProvider

Inherited from ConstantOperatorWidthableInputs

Inherited from ConstantOperator

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