Operations

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. object ANDInfo extends InfoObject

   

5. object AppendInfo extends InfoObject

   

6. object ApplyInfo extends InfoObject

   

7. object AtLeastInfo extends InfoObject

   

8. object BinAndInfo extends InfoObject

   

9. object BinOrInfo extends InfoObject

   

10. object BinXorInfo extends InfoObject

    

11. object BitAndInfo extends InfoObject

    

12. object BitInversionInfo extends InfoObject

    

13. object BitOrInfo extends InfoObject

    

14. object BitShiftLeftInfo extends InfoObject

    

15. object BitShiftRightInfo extends InfoObject

    

16. object BitShiftRightZeroedInfo extends InfoObject

    

17. object BitXorInfo extends InfoObject

    

18. object BoolToSigmaPropInfo extends InfoObject

    

19. object ByIndexInfo extends InfoObject

    

20. object ByteArrayToBigIntInfo extends InfoObject

    

21. object ByteArrayToLongInfo extends InfoObject

    

22. object CalcBlake2b256Info extends InfoObject

    

23. object CalcSha256Info extends InfoObject

    

24. object ConstantPlaceholderInfo extends InfoObject

    

25. object CreateAvlTreeInfo extends InfoObject

    

26. object CreateProveDHTupleInfo extends InfoObject

    

27. object CreateProveDlogInfo extends InfoObject

    

28. object DecodePointInfo extends InfoObject

    

29. object DeserializeContextInfo extends InfoObject

    

30. object DeserializeRegisterInfo extends InfoObject

    

31. object DivisionInfo extends InfoObject

    

32. object DowncastInfo extends InfoObject

    

33. object EQInfo extends InfoObject

    

34. object ExistsInfo extends InfoObject

    

35. object ExponentiateInfo extends InfoObject

    

36. object ExtractAmountInfo extends InfoObject

    

37. object ExtractBytesInfo extends InfoObject

    

38. object ExtractBytesWithNoRefInfo extends InfoObject

    

39. object ExtractCreationInfoInfo extends InfoObject

    

40. object ExtractIdInfo extends InfoObject

    

41. object ExtractRegisterAsInfo extends InfoObject

    

42. object ExtractScriptBytesInfo extends InfoObject

    

43. object FilterInfo extends InfoObject

    

44. object FoldInfo extends InfoObject

    

45. object ForAllInfo extends InfoObject

    

46. object GEInfo extends InfoObject

    

47. object GTInfo extends InfoObject

    

48. object GetVarInfo extends InfoObject

    

49. object GroupGeneratorInfo extends InfoObject

    

50. object IfInfo extends InfoObject

    

51. object LEInfo extends InfoObject

    

52. object LTInfo extends InfoObject

    

53. object LogicalNotInfo extends InfoObject

    

54. object LongToByteArrayInfo extends InfoObject

    

55. object MapCollectionInfo extends InfoObject

    

56. object MaxInfo extends InfoObject

    

57. object MinInfo extends InfoObject

    

58. object MinusInfo extends InfoObject

    

59. object ModuloInfo extends InfoObject

    

60. object MultiplyGroupInfo extends InfoObject

    

61. object MultiplyInfo extends InfoObject

    

62. object NEQInfo extends InfoObject

    

63. object NegationInfo extends InfoObject

    

64. object ORInfo extends InfoObject

    

65. object OptionGetInfo extends InfoObject

    

66. object OptionGetOrElseInfo extends InfoObject

    

67. object OptionIsDefinedInfo extends InfoObject

    

68. object PlusInfo extends InfoObject

    

69. object SelectFieldInfo extends InfoObject

    

70. object SigmaAndInfo extends InfoObject

    

71. object SigmaOrInfo extends InfoObject

    

72. object SigmaPropBytesInfo extends InfoObject

    

73. object SizeOfInfo extends InfoObject

    

74. object SliceInfo extends InfoObject

    

75. object SubstConstantsInfo extends InfoObject

    

76. object TreeLookupInfo extends InfoObject

    

77. object UpcastInfo extends InfoObject

    

78. object XorInfo extends InfoObject

    

79. object XorOfInfo extends InfoObject

    

80. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

81. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

82. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

83. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

84. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

86. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

87. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

88. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

89. final def notify(): Unit

    

    Definition Classes

    AnyRef

90. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

91. val predefinedOps: PredefinedFuncRegistry

    

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

    

    Definition Classes

    AnyRef

93. def toString(): String

    

    Definition Classes

    AnyRef → Any

94. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )