| Package | Description |
|---|---|
| net.sf.tweety.logics.rdl.semantics |
| Modifier and Type | Method and Description |
|---|---|
DefaultSequence |
DefaultSequence.app(DefaultRule d)
Constructs a new DefaultSequence
|
| Modifier and Type | Method and Description |
|---|---|
Collection<DefaultSequence> |
DefaultProcessTree.getProcesses() |
| Constructor and Description |
|---|
DefaultSequence(DefaultSequence ds,
DefaultRule d)
constructs a sequence by appending d to ds
|
Copyright © 2018. All rights reserved.