Package

at.logic.gapt.proofs

proofs

Permalink

package proofs

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. trait AGraphProof[V] extends AGraph[V] with Proof[V]

    Permalink
  2. trait BinaryAGraphProof[V] extends BinaryAGraph[V] with BinaryProof[V] with AGraphProof[V]

    Permalink
  3. trait BinaryProof[+V] extends BinaryAGraph[V] with Proof[V]

    Permalink
  4. abstract class BinaryRuleTypeA extends RuleTypeA

    Permalink
  5. trait BinaryTreeProof[V] extends BinaryTree[V] with BinaryProof[V] with TreeProof[V]

    Permalink
  6. trait NullaryAGraphProof[V] extends LeafAGraph[V] with NullaryProof[V] with AGraphProof[V]

    Permalink
  7. trait NullaryProof[+V] extends LeafAGraph[V] with Proof[V]

    Permalink
  8. abstract class NullaryRuleTypeA extends RuleTypeA

    Permalink
  9. trait NullaryTreeProof[V] extends LeafTree[V] with NullaryProof[V] with TreeProof[V]

    Permalink
  10. trait Proof[+V] extends AGraph[V]

    Permalink
  11. class RuleException extends Exception

    Permalink
  12. abstract class RuleTypeA extends AnyRef

    Permalink
  13. trait TreeProof[V] extends Tree[V] with Proof[V]

    Permalink
  14. trait UnaryAGraphProof[V] extends UnaryAGraph[V] with UnaryProof[V] with AGraphProof[V]

    Permalink
  15. trait UnaryProof[+V] extends UnaryAGraph[V] with Proof[V]

    Permalink
  16. abstract class UnaryRuleTypeA extends RuleTypeA

    Permalink
  17. trait UnaryTreeProof[V] extends UnaryTree[V] with UnaryProof[V] with TreeProof[V]

    Permalink

Ungrouped