Logical AND between this SigmaProp and other SigmaProp.
Logical AND between this SigmaProp and other SigmaProp. This constructs a new CAND node of sigma tree with two children.
Serialized bytes of this sigma proposition taken as ErgoTree and then serialized.
Serialized bytes of this sigma proposition taken as ErgoTree and then serialized.
The data value wrapped by this wrapper.
The data value wrapped by this wrapper.
Logical OR between this SigmaProp and other SigmaProp.
Logical OR between this SigmaProp and other SigmaProp. This constructs a new COR node of sigma tree with two children.
A default implementation of SigmaProp interface.
SigmaProp for detailed descriptions