Binary_&&

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def &(rhs: Fact): Fact

   Definition Classes

   Fact

5. final def &&(rhs: ⇒ Fact): Fact

   Definition Classes

   Fact

6. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

7. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. val cause: Option[Throwable]

   Definition Classes

   Fact

10. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13. def factDiagram(level: Int): String

    Definition Classes

    Binary_& → Fact

14. def factMessage: String

    Construct failure message to report if a fact fails, using rawFactMessage, factMessageArgs and prettifier

    Construct failure message to report if a fact fails, using rawFactMessage, factMessageArgs and prettifier

    returns

    failure message to report if a fact fails

    Definition Classes

    Fact

15. val factMessageArgs: IndexedSeq[Any]

    Definition Classes

    Binary_& → Fact

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

17. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

18. def hashCode(): Int

    Definition Classes

    AnyRef → Any

19. final def implies(rhs: ⇒ Fact): Fact

    Definition Classes

    Fact

20. final def isEqvTo(rhs: Fact): Fact

    Definition Classes

    Fact

21. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22. val isLeaf: Boolean

    Definition Classes

    Binary_& → Fact

23. final def isNo: Boolean

    Definition Classes

    Fact

24. val isVacuousYes: Boolean

    Definition Classes

    Binary_& → Fact

25. val isYes: Boolean

    Definition Classes

    Binary_& → Fact

26. def midSentenceFactMessage: String

    Construct failure message suitable for appearing mid-sentence, using rawMidSentenceFactMessage, midSentenceFactMessageArgs and prettifier

    Construct failure message suitable for appearing mid-sentence, using rawMidSentenceFactMessage, midSentenceFactMessageArgs and prettifier

    returns

    failure message suitable for appearing mid-sentence

    Definition Classes

    Fact

27. val midSentenceFactMessageArgs: IndexedSeq[Any]

    Definition Classes

    Binary_& → Fact

28. def midSentenceSimplifiedFactMessage: String

    Definition Classes

    Fact

29. val midSentenceSimplifiedFactMessageArgs: IndexedSeq[Any]

    Definition Classes

    Binary_& → Fact

30. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

31. final def notify(): Unit

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    Definition Classes

    AnyRef

33. val prettifier: Prettifier

    Definition Classes

    Binary_& → Fact

34. val rawFactMessage: String

    Definition Classes

    Binary_& → Fact

35. val rawMidSentenceFactMessage: String

    Definition Classes

    Binary_& → Fact

36. val rawMidSentenceSimplifiedFactMessage: String

    Definition Classes

    Binary_& → Fact

37. val rawSimplifiedFactMessage: String

    Definition Classes

    Binary_& → Fact

38. def simplifiedFactMessage: String

    Definition Classes

    Fact

39. val simplifiedFactMessageArgs: IndexedSeq[Any]

    Definition Classes

    Binary_& → Fact

40. final def stringPrefix: String

    Definition Classes

    Fact

41. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

42. final def toAssertion: Assertion

    Definition Classes

    Fact

43. final def toBoolean: Boolean

    Definition Classes

    Fact

44. def toString(): String

    Definition Classes

    Fact → AnyRef → Any

45. def unary_!(): Fact

    Get a simplified version of this Fact, sub type will be simplified and all messages field will be substituted with its counter-part.

    Get a simplified version of this Fact, sub type will be simplified and all messages field will be substituted with its counter-part.

    returns

    a simplified version of this Fact

    Definition Classes

    Fact

46. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49. final def |(rhs: Fact): Fact

    Definition Classes

    Fact

50. final def ||(rhs: ⇒ Fact): Fact

    Definition Classes

    Fact