public class CompilationNode extends PlBeliefSet implements Node
Constructor and Description |
---|
CompilationNode(java.util.Collection<? extends PropositionalFormula> formulas)
Creates a new compilation node with the given
set of formulas.
|
getSignature, getSyntaxComponents, toCnf
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public CompilationNode(java.util.Collection<? extends PropositionalFormula> formulas)
formulas
- a set of formulas.