Package net.sf.tweety.logics.cl.syntax
Class ClBeliefSet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<Conditional,PlSignature>
-
- net.sf.tweety.logics.cl.syntax.ClBeliefSet
-
- All Implemented Interfaces:
java.lang.Iterable<Conditional>
,java.util.Collection<Conditional>
,BeliefBase
public class ClBeliefSet extends BeliefSet<Conditional,PlSignature>
This class models a belief set on conditional logic, i.e. a set of conditionals.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE, signature
-
-
Constructor Summary
Constructors Constructor Description ClBeliefSet()
Creates a new (empty) conditional belief set.ClBeliefSet(java.util.Collection<? extends Conditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals.
-
Method Summary
Modifier and Type Method Description ClBeliefSet
clone()
PlSignature
getMinimalSignature()
Returns the signature of the language of this knowledge base.protected PlSignature
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
finalize, getClass, notify, notifyAll, wait, wait, wait
-
-
-
-
Constructor Detail
-
ClBeliefSet
public ClBeliefSet()
Creates a new (empty) conditional belief set.
-
ClBeliefSet
public ClBeliefSet(java.util.Collection<? extends Conditional> conditionals)
Creates a new conditional belief set with the given collection of conditionals.- Parameters:
conditionals
- a collection of conditionals.
-
-
Method Detail
-
getMinimalSignature
public PlSignature 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.
-
clone
public ClBeliefSet clone()
- Overrides:
clone
in classjava.lang.Object
-
instantiateSignature
protected PlSignature instantiateSignature()
Description copied from class:BeliefSet
Instantiates the signature which is attached to the belief base.- Specified by:
instantiateSignature
in classBeliefSet<Conditional,PlSignature>
- Returns:
- the signature of this belief base
-
-