at.logic.skeptik.proof.sequent

InSuc

trait InSuc extends SequentProof with Unary with SingleAuxFormula

Linear Supertypes
SingleAuxFormula, Unary, GenUnary[Sequent, SequentProof], SequentProof, Proof[Sequent, SequentProof], AnyRef, Any
Known Subclasses
AllR, ExR
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. InSuc
  2. SingleAuxFormula
  3. Unary
  4. GenUnary
  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 aux : E

    Attributes
    abstract
    Definition Classes
    SingleAuxFormula

  3. def conclusionContext : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

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

    Attributes
    abstract
    Definition Classes
    SequentProof

  5. def mainFormulas : Sequent

    Attributes
    abstract
    Definition Classes
    SequentProof

  6. def premise : SequentProof

    Attributes
    abstract
    Definition Classes
    GenUnary

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

    Definition Classes
    InSuc → Unary

  9. def auxFormulasMap : Map[SequentProof, Sequent]

    Definition Classes
    Unary → 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 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
    GenUnary → Proof

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

    Attributes
    final
    Definition Classes
    AnyRef

  25. def toString (): String

    Definition Classes
    Proof → AnyRef → Any

  26. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  28. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from SingleAuxFormula

Inherited from Unary

Inherited from GenUnary[Sequent, SequentProof]

Inherited from SequentProof

Inherited from Proof[Sequent, SequentProof]

Inherited from AnyRef

Inherited from Any