net.sf.tweety.logics.rdl.semantics

Class DefaultProcessTree

java.lang.Object

net.sf.tweety.logics.rdl.semantics.DefaultProcessTree

public class DefaultProcessTree
extends Object

Computes the extensions of a default theory

Author:

Nils Geilen

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
Collection<Collection<net.sf.tweety.logics.fol.syntax.FolFormula>>	getExtensions()
Collection<DefaultSequence>	getProcesses()

Methods inherited from class java.lang.Object

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

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 Collection<DefaultSequence> getProcesses()

Returns:

all processes (sequences of defaults from root to leaf)

getExtensions

public Collection<Collection<net.sf.tweety.logics.fol.syntax.FolFormula>> getExtensions()

Returns:

all extensions (possible sets of facts)