| 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 
 |