at.logic.skeptik.proof.sequent.lk

WeakeningL

class WeakeningL extends SequentProof with Unary with NoAuxFormula with SingleMainFormula with Left with NoImplicitContraction

Linear Supertypes
NoImplicitContraction, Left, SingleMainFormula, NoAuxFormula, Unary, GenUnary[Sequent, SequentProof], SequentProof, Proof[Sequent, SequentProof], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. WeakeningL
  2. NoImplicitContraction
  3. Left
  4. SingleMainFormula
  5. NoAuxFormula
  6. Unary
  7. GenUnary
  8. SequentProof
  9. Proof
  10. AnyRef
  11. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WeakeningL (premise: SequentProof, mainFormula: E)

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

    Definition Classes
    NoAuxFormula → Unary

  10. def auxFormulasMap : Map[SequentProof, Sequent]

    Definition Classes
    Unary → SequentProof

  11. def clone (): AnyRef

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

  12. lazy val conclusion : Sequent

    Definition Classes
    SequentProof → Proof

  13. def conclusionContext : Sequent

    Definition Classes
    NoImplicitContraction → SequentProof

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

    Definition Classes
    NoImplicitContraction → SequentProof

  15. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  16. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  17. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  19. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  20. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  21. val mainFormula : E

    Definition Classes
    WeakeningL → SingleMainFormula

  22. def mainFormulas : Sequent

    Definition Classes
    Left → SequentProof

  23. def name : String

    Definition Classes
    Proof

  24. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  25. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  26. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  27. def parameters : Seq[Any]

    Definition Classes
    Proof

  28. val premise : SequentProof

    Definition Classes
    WeakeningL → GenUnary

  29. def premises : Seq[SequentProof]

    Definition Classes
    GenUnary → Proof

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

    Attributes
    final
    Definition Classes
    AnyRef

  31. def toString (): String

    Definition Classes
    Proof → AnyRef → Any

  32. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  34. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from NoImplicitContraction

Inherited from Left

Inherited from SingleMainFormula

Inherited from NoAuxFormula

Inherited from Unary

Inherited from GenUnary[Sequent, SequentProof]

Inherited from SequentProof

Inherited from Proof[Sequent, SequentProof]

Inherited from AnyRef

Inherited from Any