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
|