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
-
-
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.-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
-
-
-
-
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()
-
-