Packages

class ShiftLeftByUInt extends BitVector.ShiftLeftByUInt

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

Instance Constructors

  1. new ShiftLeftByUInt()

Type Members

  1. type T = Expression with WidthProvider
    Definition Classes
    BinaryOperatorWidthableInputs → BinaryOperator

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
    ShiftLeftByUInt → Widthable
  8. def checkLiteralRange(check: (BitVectorLiteral, Expression with WidthProvider) ⇒ Unit): Unit
    Definition Classes
    BinaryOperatorWidthableInputs
  9. def checkLiteralRanges(signed: Boolean): Unit
    Definition Classes
    BinaryOperatorWidthableInputs
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def foreachDrivingExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  14. def foreachExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    BinaryOperator → ExpressionContainer
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  16. def getLiteralFactory: (BigInt, Int) ⇒ BitVectorLiteral
    Definition Classes
    ShiftLeftByUInt → ShiftLeftByUInt
  17. def getScalaLocationLong: String
    Definition Classes
    ScalaLocated
  18. def getScalaLocationShort: String
    Definition Classes
    ScalaLocated
  19. def getScalaTrace(): Throwable
    Definition Classes
    ScalaLocated
  20. def getTypeObject: TypeSInt.type
    Definition Classes
    ShiftLeftByUInt → Expression
  21. def getWidth: Int
    Definition Classes
    Widthable → WidthProvider
  22. val globalData: GlobalData
    Definition Classes
    GlobalDataUser
  23. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. var left: T
    Definition Classes
    BinaryOperator
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. def normalizeInputs: Unit
    Definition Classes
    ExpressionContainer
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  30. def opName: String
    Definition Classes
    ShiftLeftByUInt → Expression
  31. def remapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  32. def remapExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    BinaryOperator → ExpressionContainer
  33. var right: T
    Definition Classes
    BinaryOperator
  34. val scalaTrace: Throwable
    Definition Classes
    ScalaLocated
  35. def setScalaLocated(source: ScalaLocated): ShiftLeftByUInt.this.type
    Definition Classes
    ScalaLocated
  36. def simplifyNode: Expression
    Definition Classes
    ShiftLeftByUInt → Expression
  37. def stabilized(func: (Expression) ⇒ Expression, seed: Expression): Expression
    Definition Classes
    ExpressionContainer
  38. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  39. def toString(): String
    Definition Classes
    ShiftLeftByUInt → Expression → AnyRef → Any
  40. def toStringMultiLine(): String
    Definition Classes
    BinaryOperator → BaseNode
  41. def toStringRec(level: Int = 1): String
    Definition Classes
    Expression
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  46. def walkExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  47. def walkExpressionPostorder(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  48. def walkRemapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  49. 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.ShiftLeftByUInt

Inherited from ShiftOperator

Inherited from Widthable

Inherited from WidthProvider

Inherited from BinaryOperatorWidthableInputs

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