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 ClBeliefSetclone()PlSignaturegetMinimalSignature()Returns the signature of the language of this knowledge base.protected PlSignatureinstantiateSignature()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:BeliefBaseReturns the signature of the language of this knowledge base.- Returns:
 - the signature of the language of this knowledge base.
 
 
- 
clone
public ClBeliefSet clone()
- Overrides:
 clonein classjava.lang.Object
 
- 
instantiateSignature
protected PlSignature instantiateSignature()
Description copied from class:BeliefSetInstantiates the signature which is attached to the belief base.- Specified by:
 instantiateSignaturein classBeliefSet<Conditional,PlSignature>- Returns:
 - the signature of this belief base
 
 
 - 
 
 -