at.logic.skeptik.proof.sequent.resolution

R

class R extends SequentProof with Binary with NoMainFormula

Linear Supertypes
NoMainFormula, Binary, GenBinary[Sequent, SequentProof], SequentProof, Proof[Sequent, SequentProof], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. R
  2. NoMainFormula
  3. Binary
  4. GenBinary
  5. SequentProof
  6. Proof
  7. AnyRef
  8. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new R (leftPremise: SequentProof, rightPremise: SequentProof, auxL: E, auxR: E)(implicit unifiableVariables: Set[Var])

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 activeAncestry (f: E, premise: SequentProof): Nothing

    Definition Classes
    NoMainFormula → SequentProof

  7. def ancestry (f: E, premise: SequentProof): Sequent

    Definition Classes
    SequentProof

  8. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  9. def auxFormulasMap : Map[SequentProof, Sequent]

    Definition Classes
    Binary → SequentProof

  10. val auxL : E

  11. val auxR : E

  12. def clone (): AnyRef

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

  13. lazy val conclusion : Sequent

    Definition Classes
    SequentProof → Proof

  14. val conclusionContext : Sequent

    Definition Classes
    R → SequentProof

  15. def contextAncestry (f: E, premise: SequentProof): Sequent

    Definition Classes
    R → SequentProof

  16. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  17. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  18. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  20. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  21. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  22. val leftAuxFormulas : Sequent

    Definition Classes
    R → Binary

  23. val leftPremise : SequentProof

    Definition Classes
    R → GenBinary

  24. def mainFormulas : Sequent

    Definition Classes
    NoMainFormula → SequentProof

  25. val mgu : Substitution

  26. def name : String

    Definition Classes
    Proof

  27. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  28. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  29. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  30. def parameters : Seq[Any]

    Definition Classes
    Proof

  31. def premises : Seq[SequentProof]

    Definition Classes
    GenBinary → Proof

  32. val rightAuxFormulas : Sequent

    Definition Classes
    R → Binary

  33. val rightPremise : SequentProof

    Definition Classes
    R → GenBinary

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

    Attributes
    final
    Definition Classes
    AnyRef

  35. def toString (): String

    Definition Classes
    Proof → AnyRef → Any

  36. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  38. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from NoMainFormula

Inherited from Binary

Inherited from GenBinary[Sequent, SequentProof]

Inherited from SequentProof

Inherited from Proof[Sequent, SequentProof]

Inherited from AnyRef

Inherited from Any