Class MlBeliefSet
java.lang.Object
org.tweetyproject.commons.BeliefSet<RelationalFormula,FolSignature>
org.tweetyproject.logics.ml.syntax.MlBeliefSet
- All Implemented Interfaces:
Iterable<RelationalFormula>
,Collection<RelationalFormula>
,BeliefBase
This class models a modal knowledge base, i.e. a set of formulas
in modal logic.
- Author:
- Anna Gessler
-
Field Summary
Fields inherited from class org.tweetyproject.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
Constructor Summary
ConstructorDescriptionCreates a new empty modal knowledge base.MlBeliefSet
(Set<RelationalFormula> formulas) Creates a new modal knowledge base with the given set of formulas. -
Method Summary
Modifier and TypeMethodDescriptionReturns the signature of the language of this knowledge base.Methods inherited from class org.tweetyproject.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString
Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray
-
Constructor Details
-
MlBeliefSet
public MlBeliefSet()Creates a new empty modal knowledge base. -
MlBeliefSet
Creates a new modal knowledge base with the given set of formulas.- Parameters:
formulas
- some formulas
-
-
Method Details
-
getMinimalSignature
Description copied from interface:BeliefBase
Returns the signature of the language of this knowledge base.- Returns:
- the signature of the language of this knowledge base.
-