Class 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()  
      • Methods inherited from class java.lang.Object

        equals, 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 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)