Class DefaultProcessTree

java.lang.Object

org.tweetyproject.logics.rdl.semantics.DefaultProcessTree

public class DefaultProcessTree
extends 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
Collection<Extension>	getExtensions()	Return all extensions (possible sets of facts)
Collection<DefaultSequence>	getProcesses()	Return all processes (sequences of defaults from root to leaf)

Methods inherited from class java.lang.Object

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

Constructor Details

DefaultProcessTree

public DefaultProcessTree(DefaultTheory t)

constructs a default process tree out of the default theory t

Parameters:

t - a default theory

Method Details

getProcesses

public Collection<DefaultSequence> getProcesses()

Return all processes (sequences of defaults from root to leaf)

Returns:

all processes (sequences of defaults from root to leaf)

getExtensions

public Collection<Extension> getExtensions()

Return all extensions (possible sets of facts)

Returns:

all extensions (possible sets of facts)