net.sf.tweety.logics.rdl.semantics

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

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.util.Collection<Extension>	extensions all extensions of the process tree
(package private) java.util.Collection<DefaultSequence>	processes all processes of the process tree

Constructor Summary

Constructors

Constructor and Description
DefaultProcessTree(DefaultTheory t) constructs a default process tree out of the default theory t

Method Summary

Modifier and Type	Method and Description
java.util.Collection<Extension>	getExtensions()
java.util.Collection<DefaultSequence>	getProcesses()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

processes

java.util.Collection<DefaultSequence> processes

all processes of the process tree

extensions

java.util.Collection<Extension> extensions

all extensions of the process tree

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)