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

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped