DefaultProcessTree (Tweety (Reiter's Default Logic Library) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.rdl.semantics.DefaultProcessTree

```
public class DefaultProcessTree
extends Object
```
Computes the extensions of a default theory

Author:

Nils Geilen, Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  DefaultProcessTree(DefaultTheory t)
  constructs a default process tree out of the default theory t
- Method Summary
  
  Modifier and Type Method Description
  
  Collection<Extension> getExtensions()
  
  Collection<DefaultSequence> getProcesses()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DefaultProcessTree
```
public DefaultProcessTree(DefaultTheory t)
```
    constructs a default process tree out of the default theory t
    
    Parameters:
    
    t - a default theory
- Method Detail
  - getProcesses
```
public Collection<DefaultSequence> getProcesses()
```
    Returns:
    
    all processes (sequences of defaults from root to leaf)
  - getExtensions
```
public Collection<Extension> getExtensions()
```
    Returns:
    
    all extensions (possible sets of facts)