CSigmaProp

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( ... )

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

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

15. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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( ... )

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