Package | Description |
---|---|
net.sf.tweety.commons.util | |
net.sf.tweety.commons.util.rules |
Modifier and Type | Field and Description |
---|---|
private Digraph<T> |
DigraphNode.graph
the graph this node is part of
|
Constructor and Description |
---|
DigraphNode(Digraph<T> graph,
T value,
boolean unique) |
Modifier and Type | Class and Description |
---|---|
class |
DerivationGraph<F extends Formula,R extends Rule<F,F>> |