class
Result extends AnyRef
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (Result, B)
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
lazy val
axiomsSize: Int
-
def
clone(): AnyRef
-
val
count: Int
-
def
ensuring(cond: (Result) ⇒ Boolean, msg: ⇒ Any): Result
-
def
ensuring(cond: (Result) ⇒ Boolean): Result
-
def
ensuring(cond: Boolean, msg: ⇒ Any): Result
-
def
ensuring(cond: Boolean): Result
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
lazy val
nbAxioms: Int
-
lazy val
nbLiterals: Int
-
lazy val
nbVariables: Int
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
val
time: Double
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (Result, B)
Shadowed Implict Value Members
-
val
self: Any
-
val
self: Any
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringadd from
Result to StringAdd
Inherited by implicit conversion any2stringfmt from
Result to StringFormat
Inherited by implicit conversion any2ArrowAssoc from
Result to ArrowAssoc[Result]
Inherited by implicit conversion any2Ensuring from
Result to Ensuring[Result]