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()

Collection<DefaultSequence>

getProcesses()

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()
  
  Returns:
  
  all processes (sequences of defaults from root to leaf)
- getExtensions
  
  public Collection<Extension> getExtensions()
  
  Returns:
  
  all extensions (possible sets of facts)