case class CSigmaProp(sigmaTree: SigmaBoolean) extends SigmaProp with WrapperOf[SigmaBoolean] with Product with Serializable
A default implementation of SigmaProp interface.
- See also
SigmaProp for detailed descriptions
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- CSigmaProp
- Serializable
- Serializable
- Product
- Equals
- WrapperOf
- SigmaProp
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new CSigmaProp(sigmaTree: SigmaBoolean)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
&&(other: SigmaProp): SigmaProp
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.
- Definition Classes
- CSigmaProp → SigmaProp
-
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( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isValid: Boolean
- Definition Classes
- CSigmaProp → SigmaProp
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
propBytes: Coll[Byte]
Serialized bytes of this sigma proposition taken as ErgoTree and then serialized.
Serialized bytes of this sigma proposition taken as ErgoTree and then serialized.
- Definition Classes
- CSigmaProp → SigmaProp
- val sigmaTree: SigmaBoolean
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- CSigmaProp → 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( ... ) @native()
-
def
wrappedValue: SigmaBoolean
The data value wrapped by this wrapper.
The data value wrapped by this wrapper.
- Definition Classes
- CSigmaProp → WrapperOf
-
def
||(other: SigmaProp): SigmaProp
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.
- Definition Classes
- CSigmaProp → SigmaProp