at.logic.skeptik.proof.oldResolution

Resolvent

class Resolvent extends Proof

Linear Supertypes
Proof, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Resolvent
  2. Proof
  3. AnyRef
  4. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Resolvent (left: Proof, right: Proof)

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. def clause : Clause

    Definition Classes
    Resolvent → 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 duplicateRoot : Resolvent

  13. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  14. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  15. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  16. def forget : Unit

  17. def forgetClause : Unit

  18. def forgetLiteralsBelow : Unit

    Definition Classes
    Proof

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  20. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  21. def isBelow (that: Proof): Boolean

    Definition Classes
    Proof

  22. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  23. var left : Proof

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

    Definition Classes
    Proof

  25. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  26. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  27. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  28. def pivot : (Literal, Literal)

  29. def replaces (that: Proof): Unit

    Definition Classes
    Proof

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

    Definition Classes
    Proof

  31. def replacesLeftParentOf (child: Resolvent): Unit

    Definition Classes
    Proof

  32. def replacesRightParentOf (child: Resolvent): Unit

    Definition Classes
    Proof

  33. def resolvedAtom : Atom

  34. var right : Proof

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

    Attributes
    final
    Definition Classes
    AnyRef

  36. def toString (): String

    Definition Classes
    Resolvent → AnyRef → Any

  37. def update : Unit

  38. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  40. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Proof

Inherited from AnyRef

Inherited from Any