public class ModalBeliefSet extends BeliefSet<RelationalFormula>
Constructor and Description |
---|
ModalBeliefSet()
Creates a new empty modal knowledge base.
|
ModalBeliefSet(java.util.Set<RelationalFormula> formulas)
Creates a new modal 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 ModalBeliefSet()
public ModalBeliefSet(java.util.Set<RelationalFormula> formulas)
formulas
- public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<RelationalFormula>