case class MockSigma(_isValid: Boolean) extends SigmaProp with Product with Serializable
NOTE: this should extend SigmaProp because semantically it subclass of SigmaProp and DefaultSigma is used just to mixin implementations.
- Alphabetic
- By Inheritance
- MockSigma
- Serializable
- Serializable
- Product
- Equals
- SigmaProp
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new MockSigma(_isValid: Boolean)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
&&(other: Boolean): SigmaProp
Logical AND between this
SigmaProp
andBoolean
value on the right.Logical AND between this
SigmaProp
andBoolean
value on the right. The boolean value will be wrapped intoSigmaProp
usingsigmaProp
function. This constructs a new CAND node of sigma tree with two children.- Definition Classes
- MockSigma → SigmaProp
- Annotations
- @NeverInline() @OverloadId()
-
def
&&(other: SigmaProp): SigmaProp
Logical AND between this SigmaProp and other SigmaProp.
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val _isValid: Boolean
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[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
-
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.
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
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
||(other: Boolean): SigmaProp
Logical OR between this
SigmaProp
andBoolean
value on the right.Logical OR between this
SigmaProp
andBoolean
value on the right. The boolean value will be wrapped intoSigmaProp
usingsigmaProp
function. This constructs a new COR node of sigma tree with two children.- Definition Classes
- MockSigma → SigmaProp
- Annotations
- @NeverInline() @OverloadId()
-
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
- MockSigma → SigmaProp
- Annotations
- @NeverInline() @OverloadId()