Package | Description |
---|---|
net.sf.tweety.arg.deductive.semantics | |
net.sf.tweety.graphs | |
net.sf.tweety.graphs.orders |
Modifier and Type | Class and Description |
---|---|
class |
ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
class |
Compilation
Instances of this class are compilations in the sense of
Definition 8 in
Philippe Besnard and Anthony Hunter. |
Modifier and Type | Method and Description |
---|---|
DefaultGraph<T> |
DefaultGraph.getRestriction(java.util.Collection<T> nodes) |
Modifier and Type | Field and Description |
---|---|
private DefaultGraph<Order.OrderNode> |
Order.defaultGraph
The directed defaultGraph that represents the order
|