Package net.sf.tweety.logics.rcl.syntax
Class RclBeliefSet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<RelationalConditional,FolSignature>
-
- net.sf.tweety.logics.rcl.syntax.RclBeliefSet
-
- All Implemented Interfaces:
java.lang.Iterable<RelationalConditional>
,java.util.Collection<RelationalConditional>
,BeliefBase
public class RclBeliefSet extends BeliefSet<RelationalConditional,FolSignature>
This class models a belief set on relational conditional logic, i.e. a set of relational conditionals.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE, signature
-
-
Constructor Summary
Constructors Constructor Description RclBeliefSet()
Creates a new (empty) conditional belief set.RclBeliefSet(java.util.Collection<? extends RelationalConditional> conditionals)
Creates a new relational conditional belief set with the given collection of relational conditionals.
-
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
-
RclBeliefSet
public RclBeliefSet()
Creates a new (empty) conditional belief set.
-
RclBeliefSet
public RclBeliefSet(java.util.Collection<? extends RelationalConditional> conditionals)
Creates a new relational conditional belief set with the given collection of relational conditionals.- Parameters:
conditionals
- a collection of relational conditionals.
-
-
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<RelationalConditional,FolSignature>
- Returns:
- the signature of this belief base
-
-