at.logic.skeptik.proof.sequent

LeftInSucRightInAnt

trait LeftInSucRightInAnt extends SequentProof with Binary with TwoAuxFormulas

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

Abstract Value Members

  1. def activeAncestry (f: E, premise: SequentProof): Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

  2. def auxL : E

    Attributes
    abstract
    Definition Classes
    TwoAuxFormulas

  3. def auxR : E

    Attributes
    abstract
    Definition Classes
    TwoAuxFormulas

  4. def conclusionContext : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

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

    Attributes
    abstract
    Definition Classes
    SequentProof

  6. def leftPremise : SequentProof

    Attributes
    abstract
    Definition Classes
    GenBinary

  7. def mainFormulas : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

  8. 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 ancestry (f: E, premise: SequentProof): Sequent

    Definition Classes
    SequentProof

  7. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  8. def auxFormulasMap : Map[SequentProof, Sequent]

    Definition Classes
    Binary → SequentProof

  9. def clone (): AnyRef

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

  10. lazy val conclusion : Sequent

    Definition Classes
    SequentProof → Proof

  11. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  12. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  15. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  16. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  17. def leftAuxFormulas : Sequent

    Definition Classes
    LeftInSucRightInAnt → Binary

  18. def name : String

    Definition Classes
    Proof

  19. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  20. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  21. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  22. def parameters : Seq[Any]

    Definition Classes
    Proof

  23. def premises : Seq[SequentProof]

    Definition Classes
    GenBinary → Proof

  24. def rightAuxFormulas : Sequent

    Definition Classes
    LeftInSucRightInAnt → Binary

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

    Attributes
    final
    Definition Classes
    AnyRef

  26. def toString (): String

    Definition Classes
    Proof → AnyRef → Any

  27. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  29. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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