public class FolBeliefSet extends BeliefSet<FolFormula>
Constructor and Description |
---|
FolBeliefSet()
Creates a new and empty first-order knowledge base.
|
FolBeliefSet(java.util.Set<FolFormula> formulas)
Creates a new first-order 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.
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public FolBeliefSet()
public FolBeliefSet(java.util.Set<FolFormula> formulas)
formulas
- public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<FolFormula>