implicit final class SigmaBooleanOps extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- SigmaBooleanOps
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new SigmaBooleanOps(sb: SigmaBoolean)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isProven: Value[SBoolean.type]
- val sb: SigmaBoolean
- def showToString: String
- def toSigmaProp: SigmaPropValue
-
def
toString(): String
- Definition Classes
- Any