| Package | Description |
|---|---|
| net.sf.tweety.logics.rdl.semantics |
| Modifier and Type | Field and Description |
|---|---|
(package private) java.util.Collection<DefaultSequence> |
DefaultProcessTree.processes
all processes of the process tree
|
| Modifier and Type | Method and Description |
|---|---|
DefaultSequence |
DefaultSequence.app(DefaultRule d)
Constructs a new DefaultSequence
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<DefaultSequence> |
DefaultProcessTree.getProcesses() |
| Constructor and Description |
|---|
DefaultSequence(DefaultSequence ds,
DefaultRule d)
constructs a sequence by appending d to ds
|