sigmastate
.
Operations
InfoObject
Related Doc:
package Operations
trait
InfoObject
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Known Subclasses
ANDInfo
,
AppendInfo
,
ApplyInfo
,
AtLeastInfo
,
BinAndInfo
,
BinOrInfo
,
BinXorInfo
,
BitAndInfo
,
BitInversionInfo
,
BitOrInfo
,
BitShiftLeftInfo
,
BitShiftRightInfo
,
BitShiftRightZeroedInfo
,
BitXorInfo
,
BoolToSigmaPropInfo
,
ByIndexInfo
,
ByteArrayToBigIntInfo
,
ByteArrayToLongInfo
,
CalcBlake2b256Info
,
CalcSha256Info
,
ConstantPlaceholderInfo
,
CreateAvlTreeInfo
,
CreateProveDHTupleInfo
,
CreateProveDlogInfo
,
DecodePointInfo
,
DeserializeContextInfo
,
DeserializeRegisterInfo
,
DivisionInfo
,
DowncastInfo
,
EQInfo
,
ExistsInfo
,
ExponentiateInfo
,
ExtractAmountInfo
,
ExtractBytesInfo
,
ExtractBytesWithNoRefInfo
,
ExtractCreationInfoInfo
,
ExtractIdInfo
,
ExtractRegisterAsInfo
,
ExtractScriptBytesInfo
,
FilterInfo
,
FoldInfo
,
ForAllInfo
,
GEInfo
,
GTInfo
,
GetVarInfo
,
GroupGeneratorInfo
,
IfInfo
,
LEInfo
,
LTInfo
,
LogicalNotInfo
,
LongToByteArrayInfo
,
MapCollectionInfo
,
MaxInfo
,
MinInfo
,
MinusInfo
,
ModuloInfo
,
MultiplyGroupInfo
,
MultiplyInfo
,
NEQInfo
,
NegationInfo
,
ORInfo
,
OptionGetInfo
,
OptionGetOrElseInfo
,
OptionIsDefinedInfo
,
PlusInfo
,
SelectFieldInfo
,
SigmaAndInfo
,
SigmaOrInfo
,
SigmaPropBytesInfo
,
SizeOfInfo
,
SliceInfo
,
SubstConstantsInfo
,
TreeLookupInfo
,
UpcastInfo
,
XorInfo
,
XorOfInfo
Ordering
Alphabetic
By Inheritance
Inherited
InfoObject
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Abstract Value Members
abstract
def
argInfos
:
Seq
[
ArgInfo
]
Concrete Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped