net.sf.tweety.arg.deductive.semantics

Class CompilationNode

java.lang.Object

net.sf.tweety.commons.BeliefSet<PropositionalFormula>

net.sf.tweety.logics.pl.PlBeliefSet

net.sf.tweety.arg.deductive.semantics.CompilationNode

All Implemented Interfaces:

java.lang.Iterable<PropositionalFormula>, java.util.Collection<PropositionalFormula>, 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

Constructor Summary

Constructors

Constructor and Description
CompilationNode(java.util.Collection<? extends PropositionalFormula> formulas) Creates a new compilation node with the given set of formulas.

Method Summary

Methods inherited from class net.sf.tweety.logics.pl.PlBeliefSet

getSignature, getSyntaxComponents, toCnf

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

CompilationNode

public CompilationNode(java.util.Collection<? extends PropositionalFormula> formulas)

Creates a new compilation node with the given set of formulas.

Parameters:

formulas - a set of formulas.