Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  def &&(other: Boolean): SigmaProp

   Logical AND between this SigmaProp and Boolean value on the right.

   Logical AND between this SigmaProp and Boolean value on the right. The boolean value will be wrapped into SigmaProp using sigmaProp function. This constructs a new CAND node of sigma tree with two children.

   Definition Classes

   CSigmaProp → SigmaProp

4.  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

5.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... ) @native()

8.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9.  def finalize(): Unit

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

11.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

12.  def isValid: Boolean

    Definition Classes

    CSigmaProp → SigmaProp

13.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

14.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

15.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

16.  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

17.  val sigmaTree: SigmaBoolean
18.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

19.  def toString(): String

    Definition Classes

    CSigmaProp → AnyRef → Any

20.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

21.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

22.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

23.  def wrappedValue: SigmaBoolean

    The data value wrapped by this wrapper.

    The data value wrapped by this wrapper.

    Definition Classes

    CSigmaProp → WrapperOf

24.  def ||(other: Boolean): SigmaProp

    Logical OR between this SigmaProp and Boolean value on the right.

    Logical OR between this SigmaProp and Boolean value on the right. The boolean value will be wrapped into SigmaProp using sigmaProp function. This constructs a new COR node of sigma tree with two children.

    Definition Classes

    CSigmaProp → SigmaProp

25.  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