Packages

o

sigmastate

Operations

object Operations

WARNING: This file is generated by GenInfoObjects tool. Don't edit it directly, use the tool instead to regenerate. The operations are alphabetically sorted.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Operations
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait InfoObject extends AnyRef

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. val predefinedOps: PredefinedFuncRegistry
  16. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  17. def toString(): String
    Definition Classes
    AnyRef → Any
  18. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  21. object ANDInfo extends InfoObject
  22. object AppendInfo extends InfoObject
  23. object ApplyInfo extends InfoObject
  24. object AtLeastInfo extends InfoObject
  25. object BinAndInfo extends InfoObject
  26. object BinOrInfo extends InfoObject
  27. object BinXorInfo extends InfoObject
  28. object BitAndInfo extends InfoObject
  29. object BitInversionInfo extends InfoObject
  30. object BitOrInfo extends InfoObject
  31. object BitShiftLeftInfo extends InfoObject
  32. object BitShiftRightInfo extends InfoObject
  33. object BitShiftRightZeroedInfo extends InfoObject
  34. object BitXorInfo extends InfoObject
  35. object BoolToSigmaPropInfo extends InfoObject
  36. object ByIndexInfo extends InfoObject
  37. object ByteArrayToBigIntInfo extends InfoObject
  38. object ByteArrayToLongInfo extends InfoObject
  39. object CalcBlake2b256Info extends InfoObject
  40. object CalcSha256Info extends InfoObject
  41. object ConstantPlaceholderInfo extends InfoObject
  42. object CreateAvlTreeInfo extends InfoObject
  43. object CreateProveDHTupleInfo extends InfoObject
  44. object CreateProveDlogInfo extends InfoObject
  45. object DecodePointInfo extends InfoObject
  46. object DeserializeContextInfo extends InfoObject
  47. object DeserializeRegisterInfo extends InfoObject
  48. object DivisionInfo extends InfoObject
  49. object DowncastInfo extends InfoObject
  50. object EQInfo extends InfoObject
  51. object ExistsInfo extends InfoObject
  52. object ExponentiateInfo extends InfoObject
  53. object ExtractAmountInfo extends InfoObject
  54. object ExtractBytesInfo extends InfoObject
  55. object ExtractBytesWithNoRefInfo extends InfoObject
  56. object ExtractCreationInfoInfo extends InfoObject
  57. object ExtractIdInfo extends InfoObject
  58. object ExtractRegisterAsInfo extends InfoObject
  59. object ExtractScriptBytesInfo extends InfoObject
  60. object FilterInfo extends InfoObject
  61. object FoldInfo extends InfoObject
  62. object ForAllInfo extends InfoObject
  63. object GEInfo extends InfoObject
  64. object GTInfo extends InfoObject
  65. object GetVarInfo extends InfoObject
  66. object GroupGeneratorInfo extends InfoObject
  67. object IfInfo extends InfoObject
  68. object LEInfo extends InfoObject
  69. object LTInfo extends InfoObject
  70. object LogicalNotInfo extends InfoObject
  71. object LongToByteArrayInfo extends InfoObject
  72. object MapCollectionInfo extends InfoObject
  73. object MaxInfo extends InfoObject
  74. object MinInfo extends InfoObject
  75. object MinusInfo extends InfoObject
  76. object ModuloInfo extends InfoObject
  77. object MultiplyGroupInfo extends InfoObject
  78. object MultiplyInfo extends InfoObject
  79. object NEQInfo extends InfoObject
  80. object NegationInfo extends InfoObject
  81. object ORInfo extends InfoObject
  82. object OptionGetInfo extends InfoObject
  83. object OptionGetOrElseInfo extends InfoObject
  84. object OptionIsDefinedInfo extends InfoObject
  85. object PlusInfo extends InfoObject
  86. object SelectFieldInfo extends InfoObject
  87. object SigmaAndInfo extends InfoObject
  88. object SigmaOrInfo extends InfoObject
  89. object SigmaPropBytesInfo extends InfoObject
  90. object SizeOfInfo extends InfoObject
  91. object SliceInfo extends InfoObject
  92. object SubstConstantsInfo extends InfoObject
  93. object TreeLookupInfo extends InfoObject
  94. object UpcastInfo extends InfoObject
  95. object XorInfo extends InfoObject
  96. object XorOfInfo extends InfoObject

Inherited from AnyRef

Inherited from Any

Ungrouped