CompilationNode

java.lang.Object
- net.sf.tweety.commons.BeliefSet<PlFormula,PlSignature>
- - net.sf.tweety.logics.pl.syntax.PlBeliefSet
  - - net.sf.tweety.arg.deductive.semantics.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.

Author:

Matthias Thimm

- Field Summary
  - Fields inherited from class net.sf.tweety.commons.BeliefSet
    EQUALS_USES_SIGNATURE
- Constructor Summary
  
  Constructors
  Constructor Description
  
  CompilationNode(java.util.Collection<? extends PlFormula> formulas)
  Creates a new compilation node with the given set of formulas.
- Method Summary
  - Methods inherited from class net.sf.tweety.logics.pl.syntax.PlBeliefSet
    getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, toCnf
  - Methods inherited from class net.sf.tweety.commons.BeliefSet
    add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, 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 Detail
  - CompilationNode
```
public CompilationNode(java.util.Collection<? extends PlFormula> formulas)
```
    Creates a new compilation node with the given set of formulas.
    
    Parameters:
    
    formulas - a set of formulas.