at.logic.skeptik.proof.sequent

Left

trait Left extends SequentProof with SingleMainFormula

Linear Supertypes
SingleMainFormula, SequentProof, Proof[Sequent, SequentProof], AnyRef, Any
Known Subclasses
AllL, AndL, ExL, WeakeningL
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Left
  2. SingleMainFormula
  3. SequentProof
  4. Proof
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Abstract Value Members

  1. def auxFormulasMap : Map[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 mainFormula : E

    Attributes
    abstract
    Definition Classes
    SingleMainFormula

  5. def premises : Seq[SequentProof]

    Attributes
    abstract
    Definition Classes
    Proof

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): Sequent

    Definition Classes
    SingleMainFormula → SequentProof

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

    Definition Classes
    SequentProof

  8. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  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 mainFormulas : Sequent

    Definition Classes
    Left → SequentProof

  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 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 SingleMainFormula

Inherited from SequentProof

Inherited from Proof[Sequent, SequentProof]

Inherited from AnyRef

Inherited from Any