Class DefaultProcessTree
- java.lang.Object
-
- net.sf.tweety.logics.rdl.semantics.DefaultProcessTree
-
public class DefaultProcessTree extends java.lang.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 java.util.Collection<Extension>
getExtensions()
java.util.Collection<DefaultSequence>
getProcesses()
-
-
-
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 java.util.Collection<DefaultSequence> getProcesses()
- Returns:
- all processes (sequences of defaults from root to leaf)
-
getExtensions
public java.util.Collection<Extension> getExtensions()
- Returns:
- all extensions (possible sets of facts)
-
-