CompilationNode (Tweety (Deductive Argumentation Library) 1.17 API)

java.lang.Object
- net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlSignature>
- - net.sf.tweety.logics.pl.syntax.PlBeliefSet
  - - net.sf.tweety.arg.deductive.semantics.CompilationNode

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.pl.syntax.PlFormula>, Collection<net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.BeliefBase, net.sf.tweety.graphs.Node
```
public class CompilationNode
extends net.sf.tweety.logics.pl.syntax.PlBeliefSet
implements net.sf.tweety.graphs.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, signature

Constructor Summary

Constructors
Constructor	Description
`CompilationNode(Collection<? extends net.sf.tweety.logics.pl.syntax.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, instantiateSignature, toCnf
- Methods inherited from class net.sf.tweety.commons.BeliefSet
  add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, 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, toArray
- Methods inherited from interface java.lang.Iterable
  forEach

- Constructor Detail
  - CompilationNode
```
public CompilationNode(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> formulas)
```
    Creates a new compilation node with the given set of formulas.
    
    Parameters:
    
    formulas - a set of formulas.