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. var algoIncrementale: Int

   

   Definition Classes

   BaseNode

5. var 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 finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12. def foreachDrivingExpression(func: (Expression) ⇒ Unit): Unit

    

    Definition Classes

    ExpressionContainer

13. final def foreachExpression(func: (Expression) ⇒ Unit): Unit

    

    Definition Classes

    Literal → ExpressionContainer

14. def getBitsStringOn(bitCount: Int, poisonSymbol: Char): String

    

    Definition Classes

    BitVectorLiteral → Literal

15. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

16. def getScalaLocationLong: String

    

    Definition Classes

    ScalaLocated

17. def getScalaLocationShort: String

    

    Definition Classes

    ScalaLocated

18. def getScalaTrace(): Throwable

    

    Definition Classes

    ScalaLocated

19. def getTypeObject: TypeSInt.type

    

    Definition Classes

    SIntLiteral → Expression

20. def getValue(): BigInt

    

    Definition Classes

    BitVectorLiteral → Literal

21. def getWidth: Int

    

    Definition Classes

    BitVectorLiteral → WidthProvider

22. val globalData: GlobalData

    

    Definition Classes

    GlobalDataUser

23. def hasPoison(): Boolean

    

    Definition Classes

    BitVectorLiteral → Literal

24. var hasSpecifiedBitCount: Boolean

    

    Definition Classes

    BitVectorLiteral

25. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

32. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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. def setScalaLocated(source: ScalaLocated): SIntLiteral.this.type

    

    Definition Classes

    ScalaLocated

38. def simplifyNode: Expression

    

    Definition Classes

    Expression

39. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

40. def toString(): String

    

    Definition Classes

    SIntLiteral → BitVectorLiteral → Expression → AnyRef → Any

41. def toStringMultiLine(): String

    

    Definition Classes

    BaseNode

42. var value: BigInt

    

    Definition Classes

    BitVectorLiteral

43. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

44. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

45. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46. def walkDrivingExpressions(func: (Expression) ⇒ Unit): Unit

    

    Definition Classes

    ExpressionContainer

47. def walkExpression(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