Package | Description |
---|---|
net.sf.tweety.logics.rdl.reasoner | |
net.sf.tweety.logics.rdl.semantics |
Modifier and Type | Method and Description |
---|---|
Extension |
NaiveDefaultReasoner.getModel(DefaultTheory bbase) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Extension> |
NaiveDefaultReasoner.getModels(DefaultTheory bbase) |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Collection<Extension> |
DefaultProcessTree.extensions
all extensions of the process tree
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Extension> |
DefaultProcessTree.getExtensions() |