at.logic.skeptik.proof.sequent

Binary

trait Binary extends SequentProof with GenBinary[Sequent, SequentProof]

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

Abstract Value Members

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

    Attributes
    abstract
    Definition Classes
    SequentProof

  2. def conclusionContext : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

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

    Attributes
    abstract
    Definition Classes
    SequentProof

  4. def leftAuxFormulas : Sequent

    Attributes
    abstract

  5. def leftPremise : SequentProof

    Attributes
    abstract
    Definition Classes
    GenBinary

  6. def mainFormulas : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

  7. def rightAuxFormulas : Sequent

    Attributes
    abstract

  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 name : String

    Definition Classes
    Proof

  18. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  19. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  20. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  21. def parameters : Seq[Any]

    Definition Classes
    Proof

  22. def premises : Seq[SequentProof]

    Definition Classes
    GenBinary → Proof

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

    Attributes
    final
    Definition Classes
    AnyRef

  24. def toString (): String

    Definition Classes
    Proof → AnyRef → Any

  25. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  27. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from GenBinary[Sequent, SequentProof]

Inherited from SequentProof

Inherited from Proof[Sequent, SequentProof]

Inherited from AnyRef

Inherited from Any