Class CompilationNode

  • All Implemented Interfaces:
    java.lang.Iterable<PlFormula>, java.util.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.
    Matthias Thimm
    • Constructor Detail

      • CompilationNode

        public CompilationNode​(java.util.Collection<? extends PlFormula> formulas)
        Creates a new compilation node with the given set of formulas.
        formulas - a set of formulas.