at
.
logic
.
gapt
.
proofs
proofs
package
proofs
Content Hierarchy
BinaryAGraphProof[V]
NullaryAGraphProof[V]
Proof[V]
NullaryProof[V]
UnaryProof[V]
BinaryProof[V]
TreeProof[V]
AGraphProof[V]
NullaryTreeProof[V]
UnaryTreeProof[V]
UnaryAGraphProof[V]
BinaryTreeProof[V]
NullaryRuleTypeA
RuleTypeA
UnaryRuleTypeA
BinaryRuleTypeA
Visibility
Public
All
Type Members
trait
AGraphProof
[
V
]
extends
AGraph
[
V
] with
Proof
[
V
]
trait
BinaryAGraphProof
[
V
]
extends
BinaryAGraph
[
V
] with
BinaryProof
[
V
] with
AGraphProof
[
V
]
trait
BinaryProof
[
+V
]
extends
BinaryAGraph
[
V
] with
Proof
[
V
]
abstract
class
BinaryRuleTypeA
extends
RuleTypeA
trait
BinaryTreeProof
[
V
]
extends
BinaryTree
[
V
] with
BinaryProof
[
V
] with
TreeProof
[
V
]
trait
NullaryAGraphProof
[
V
]
extends
LeafAGraph
[
V
] with
NullaryProof
[
V
] with
AGraphProof
[
V
]
trait
NullaryProof
[
+V
]
extends
LeafAGraph
[
V
] with
Proof
[
V
]
abstract
class
NullaryRuleTypeA
extends
RuleTypeA
trait
NullaryTreeProof
[
V
]
extends
LeafTree
[
V
] with
NullaryProof
[
V
] with
TreeProof
[
V
]
trait
Proof
[
+V
]
extends
AGraph
[
V
]
class
RuleException
extends
Exception
abstract
class
RuleTypeA
extends
AnyRef
trait
TreeProof
[
V
]
extends
Tree
[
V
] with
Proof
[
V
]
trait
UnaryAGraphProof
[
V
]
extends
UnaryAGraph
[
V
] with
UnaryProof
[
V
] with
AGraphProof
[
V
]
trait
UnaryProof
[
+V
]
extends
UnaryAGraph
[
V
] with
Proof
[
V
]
abstract
class
UnaryRuleTypeA
extends
RuleTypeA
trait
UnaryTreeProof
[
V
]
extends
UnaryTree
[
V
] with
UnaryProof
[
V
] with
TreeProof
[
V
]
Ungrouped