Package net.sf.tweety.logics.fol.syntax
Class FolBeliefSet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<FolFormula,FolSignature>
-
- net.sf.tweety.logics.fol.syntax.FolBeliefSet
-
- All Implemented Interfaces:
java.lang.Iterable<FolFormula>
,java.util.Collection<FolFormula>
,BeliefBase
public class FolBeliefSet extends BeliefSet<FolFormula,FolSignature>
This class models a first-order knowledge base, i.e. a set of formulas in first-order logic.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE, signature
-
-
Constructor Summary
Constructors Constructor Description FolBeliefSet()
Creates a new and empty first-order knowledge base.FolBeliefSet(java.util.Collection<FolFormula> formulas)
Creates a new first-order knowledge base with the given set of formulas.
-
Method Summary
Modifier and Type Method Description FolSignature
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
-
FolBeliefSet
public FolBeliefSet()
Creates a new and empty first-order knowledge base.
-
FolBeliefSet
public FolBeliefSet(java.util.Collection<FolFormula> formulas)
Creates a new first-order knowledge base with the given set of formulas.- Parameters:
formulas
- the formulas
-
-
Method Detail
-
getMinimalSignature
public FolSignature 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<FolFormula,FolSignature>
- Returns:
- the signature of this belief base
-
-