AndR

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 auxFormulasMap : Map[SequentProof, Sequent]

   Definition Classes

   Binary → SequentProof

10. val auxL : E

    Definition Classes

    AndR → TwoAuxFormulas

11. val auxR : E

    Definition Classes

    AndR → TwoAuxFormulas

12. def clone (): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

13. lazy val conclusion : Sequent

    Definition Classes

    SequentProof → Proof

14. def conclusionContext : Sequent

    Definition Classes

    NoImplicitContraction → SequentProof

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

    Definition Classes

    NoImplicitContraction → SequentProof

16. def eq (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

17. def equals (arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

18. def finalize (): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef → Any

20. def hashCode (): Int

    Definition Classes

    AnyRef → Any

21. def isInstanceOf [T0] : Boolean

    Attributes

    final

    Definition Classes

    Any

22. def leftAuxFormulas : Sequent

    Definition Classes

    OnePerSuccedent → Binary

23. val leftPremise : SequentProof

    Definition Classes

    AndR → GenBinary

24. val mainFormula : App

    Definition Classes

    AndR → SingleMainFormula

25. def mainFormulas : Sequent

    Definition Classes

    Right → SequentProof

26. def name : String

    Definition Classes

    Proof

27. def ne (arg0: AnyRef): Boolean

    Attributes

    final

    Definition Classes

    AnyRef

28. def notify (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

29. def notifyAll (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

30. def parameters : Seq[Any]

    Definition Classes

    Proof

31. def premises : Seq[SequentProof]

    Definition Classes

    GenBinary → Proof

32. def rightAuxFormulas : Sequent

    Definition Classes

    OnePerSuccedent → Binary

33. val rightPremise : SequentProof

    Definition Classes

    AndR → GenBinary

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

    Attributes

    final

    Definition Classes

    AnyRef

35. def toString (): String

    Definition Classes

    Proof → AnyRef → Any

36. def wait (): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()

38. def wait (arg0: Long): Unit

    Attributes

    final

    Definition Classes

    AnyRef

    Annotations

    @throws()