Input

Value Members

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

   Attributes

   final

   Definition Classes

   AnyRef

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

   Attributes

   final

   Definition Classes

   Any

3. def ## (): Int

   Attributes

   final

   Definition Classes

   AnyRef → Any

4. def == (arg0: AnyRef): Boolean

   Attributes

   final

   Definition Classes

   AnyRef

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

   Attributes

   final

   Definition Classes

   Any

6. def asInstanceOf [T0] : T0

   Attributes

   final

   Definition Classes

   Any

7. var children : List[Resolvent]

   Definition Classes

   Proof

8. val clause : Clause

   Definition Classes

   Input → Proof

9. def clone (): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

10. def delete : Unit

    Definition Classes

    Proof

11. def duplicate : Proof

    Definition Classes

    Proof

12. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

13. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

14. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

15. def forgetLiteralsBelow : Unit

    Definition Classes

    Proof

16. def getClass (): java.lang.Class[_]

    Attributes

    final

    Definition Classes

    AnyRef → Any

17. def hashCode (): Int

    Definition Classes

    AnyRef → Any

18. def isBelow (that: Proof): Boolean

    Definition Classes

    Proof

19. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

20. def literalsBelow : HashMap[Resolvent, HashSet[Literal]]

    Definition Classes

    Proof

21. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

22. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

23. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

24. def replaces (that: Proof): Unit

    Definition Classes

    Proof

25. def replacesAsParentOf (that: Proof, child: Resolvent): Unit

    Definition Classes

    Proof

26. def replacesLeftParentOf (child: Resolvent): Unit

    Definition Classes

    Proof

27. def replacesRightParentOf (child: Resolvent): Unit

    Definition Classes

    Proof

28. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes

    final

    Definition Classes

    AnyRef

29. def toString (): String

    Definition Classes

    Input → AnyRef → Any

30. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

32. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()