Packages

class SIntLiteral extends BitVectorLiteral

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SIntLiteral
  2. BitVectorLiteral
  3. WidthProvider
  4. Literal
  5. Expression
  6. ExpressionContainer
  7. BaseNode
  8. ScalaLocated
  9. GlobalDataUser
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SIntLiteral()

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. var bitCount: Int
    Definition Classes
    BitVectorLiteral
  8. def clone(): SIntLiteral.this.type
    Definition Classes
    SIntLiteral → Literal → AnyRef
  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. final def foreachExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    Literal → ExpressionContainer
  13. def getBitsStringOn(bitCount: Int, poisonSymbol: Char): String
    Definition Classes
    BitVectorLiteral → Literal
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  15. def getScalaLocationLong: String
    Definition Classes
    ScalaLocated
  16. def getScalaLocationShort: String
    Definition Classes
    ScalaLocated
  17. def getScalaTrace(): Throwable
    Definition Classes
    ScalaLocated
  18. def getTypeObject: TypeSInt.type
    Definition Classes
    SIntLiteral → Expression
  19. def getValue(): BigInt
    Definition Classes
    BitVectorLiteral → Literal
  20. def getWidth: Int
    Definition Classes
    BitVectorLiteral → WidthProvider
  21. val globalData: GlobalData
    Definition Classes
    GlobalDataUser
  22. def hasPoison(): Boolean
    Definition Classes
    BitVectorLiteral → Literal
  23. var hasSpecifiedBitCount: Boolean
    Definition Classes
    BitVectorLiteral
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  25. def hexString(bitCount: Int, aligin: Boolean = false): String
    Definition Classes
    BitVectorLiteral
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. def isSignedKind: Boolean
    Definition Classes
    SIntLiteral → BitVectorLiteral
  28. def minimalValueBitWidth: Int
    Definition Classes
    BitVectorLiteral
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. def normalizeInputs: Unit
    Definition Classes
    ExpressionContainer
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  33. def opName: String
    Definition Classes
    SIntLiteral → Expression
  34. var poisonMask: BigInt
    Definition Classes
    BitVectorLiteral
  35. def remapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  36. final def remapExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    Literal → ExpressionContainer
  37. val scalaTrace: Throwable
    Definition Classes
    ScalaLocated
  38. def setScalaLocated(source: ScalaLocated): SIntLiteral.this.type
    Definition Classes
    ScalaLocated
  39. def simplifyNode: Expression
    Definition Classes
    Expression
  40. def stabilized(func: (Expression) ⇒ Expression, seed: Expression): Expression
    Definition Classes
    ExpressionContainer
  41. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  42. def toString(): String
    Definition Classes
    SIntLiteral → BitVectorLiteral → Expression → AnyRef → Any
  43. def toStringMultiLine(): String
    Definition Classes
    BaseNode
  44. def toStringRec(level: Int = 1): String
    Definition Classes
    Expression
  45. var value: BigInt
    Definition Classes
    BitVectorLiteral
  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  50. def walkExpression(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  51. def walkExpressionPostorder(func: (Expression) ⇒ Unit): Unit
    Definition Classes
    ExpressionContainer
  52. def walkRemapDrivingExpressions(func: (Expression) ⇒ Expression): Unit
    Definition Classes
    ExpressionContainer
  53. 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 BitVectorLiteral

Inherited from WidthProvider

Inherited from Literal

Inherited from Expression

Inherited from ExpressionContainer

Inherited from BaseNode

Inherited from ScalaLocated

Inherited from GlobalDataUser

Inherited from AnyRef

Inherited from Any

Ungrouped