Package net.sf.tweety.logics.ml.syntax
Class MlBeliefSet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<RelationalFormula,FolSignature>
-
- net.sf.tweety.logics.ml.syntax.MlBeliefSet
-
- All Implemented Interfaces:
java.lang.Iterable<RelationalFormula>
,java.util.Collection<RelationalFormula>
,BeliefBase
public class MlBeliefSet extends BeliefSet<RelationalFormula,FolSignature>
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 net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE, signature
-
-
Constructor Summary
Constructors Constructor Description MlBeliefSet()
Creates a new empty modal knowledge base.MlBeliefSet(java.util.Set<RelationalFormula> formulas)
Creates a new modal knowledge base with the given set of formulas.
-
Method Summary
Modifier and Type Method Description Signature
getMinimalSignature()
Returns the signature of the language of this knowledge base.protected FolSignature
instantiateSignature()
Instantiates the signature which is attached to the belief base.-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
-
-
-
Constructor Detail
-
MlBeliefSet
public MlBeliefSet()
Creates a new empty modal knowledge base.
-
MlBeliefSet
public MlBeliefSet(java.util.Set<RelationalFormula> formulas)
Creates a new modal knowledge base with the given set of formulas.- Parameters:
formulas
- some formulas
-
-
Method Detail
-
getMinimalSignature
public Signature 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.
-
instantiateSignature
protected FolSignature instantiateSignature()
Description copied from class:BeliefSet
Instantiates the signature which is attached to the belief base.- Specified by:
instantiateSignature
in classBeliefSet<RelationalFormula,FolSignature>
- Returns:
- the signature of this belief base
-
-