Class CompilationNode

java.lang.Object
All Implemented Interfaces:
Iterable<PlFormula>, Collection<PlFormula>, BeliefBase, Node

public class CompilationNode extends PlBeliefSet implements Node
Instances of this class represent nodes in the compilation of a knowledge base, i.e. minimal inconsistent subsets of the knowledge base.
Author:
Matthias Thimm