Package org.tweetyproject.arg.deductive.semantics

Class CompilationNode

java.lang.Object

org.tweetyproject.commons.BeliefSet<PlFormula,PlSignature>

org.tweetyproject.logics.pl.syntax.PlBeliefSet

org.tweetyproject.arg.deductive.semantics.CompilationNode

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

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class org.tweetyproject.logics.pl.syntax.PlBeliefSet

getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, toCnf

Methods inherited from class org.tweetyproject.commons.BeliefSet

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

CompilationNode

public CompilationNode(Collection<? extends PlFormula> formulas)

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

Parameters:

formulas - a set of formulas.