public class PlBeliefSet extends BeliefSet<PropositionalFormula>
Constructor and Description |
---|
PlBeliefSet()
Creates a new (empty) knowledge base.
|
PlBeliefSet(java.util.Collection<? extends PropositionalFormula> formulas)
Creates a new knowledge base with the given
set of formulas.
|
Modifier and Type | Method and Description |
---|---|
Signature |
getSignature()
Returns the signature of the language of this knowledge base.
|
java.util.Collection<PlBeliefSet> |
getSyntaxComponents()
Returns the set of syntax components of this belief set, i.e.
|
Conjunction |
toCnf()
This method returns this belief set in conjunctive normal form (CNF).
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public PlBeliefSet()
public PlBeliefSet(java.util.Collection<? extends PropositionalFormula> formulas)
formulas
- a set of formulas.public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<PropositionalFormula>
public Conjunction toCnf()
public java.util.Collection<PlBeliefSet> getSyntaxComponents()