at.logic.skeptik.proof.sequent.lk

AbstractCut

class AbstractCut extends SequentProof with Binary with TwoAuxFormulas with LeftInSucRightInAnt with NoMainFormula

Attributes
abstract
Linear Supertypes
NoMainFormula, LeftInSucRightInAnt, TwoAuxFormulas, Binary, GenBinary[Sequent, SequentProof], SequentProof, Proof[Sequent, SequentProof], AnyRef, Any
Known Subclasses
Cut, CutIC
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. AbstractCut
  2. NoMainFormula
  3. LeftInSucRightInAnt
  4. TwoAuxFormulas
  5. Binary
  6. GenBinary
  7. SequentProof
  8. Proof
  9. AnyRef
  10. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new AbstractCut ()

Abstract Value Members

  1. def auxL : E

    Attributes
    abstract
    Definition Classes
    TwoAuxFormulas

  2. def auxR : E

    Attributes
    abstract
    Definition Classes
    TwoAuxFormulas

  3. def conclusionContext : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

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

    Attributes
    abstract
    Definition Classes
    SequentProof

  5. def leftPremise : SequentProof

    Attributes
    abstract
    Definition Classes
    GenBinary

  6. def rightPremise : SequentProof

    Attributes
    abstract
    Definition Classes
    GenBinary

Concrete 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. def clone (): AnyRef

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

  11. lazy val conclusion : Sequent

    Definition Classes
    SequentProof → 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 getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  16. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  17. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  18. def leftAuxFormulas : Sequent

    Definition Classes
    LeftInSucRightInAnt → Binary

  19. def mainFormulas : Sequent

    Definition Classes
    NoMainFormula → SequentProof

  20. def name : String

    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 parameters : Seq[Any]

    Definition Classes
    Proof

  25. def premises : Seq[SequentProof]

    Definition Classes
    GenBinary → Proof

  26. def rightAuxFormulas : Sequent

    Definition Classes
    LeftInSucRightInAnt → Binary

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

    Attributes
    final
    Definition Classes
    AnyRef

  28. def toString (): String

    Definition Classes
    Proof → AnyRef → Any

  29. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  31. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from NoMainFormula

Inherited from LeftInSucRightInAnt

Inherited from TwoAuxFormulas

Inherited from Binary

Inherited from GenBinary[Sequent, SequentProof]

Inherited from SequentProof

Inherited from Proof[Sequent, SequentProof]

Inherited from AnyRef

Inherited from Any