Package net.sf.tweety.beliefdynamics.mas
Class CrMasBeliefSet<T extends net.sf.tweety.commons.Formula,S extends net.sf.tweety.commons.Signature>
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<InformationObject<T>,S>
-
- net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet<T,S>
-
- Type Parameters:
T- The type of formulas in information objects.S- The type of signatures.
- All Implemented Interfaces:
Iterable<InformationObject<T>>,Collection<InformationObject<T>>,net.sf.tweety.commons.BeliefBase
public class CrMasBeliefSet<T extends net.sf.tweety.commons.Formula,S extends net.sf.tweety.commons.Signature> extends net.sf.tweety.commons.BeliefSet<InformationObject<T>,S>
This class represents belief sets for credibility-based agents multi-agent systems. Such a belief set contains a set of information objects and a credibility order among agents.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description CrMasBeliefSet(net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.Agent> credibilityOrder, S sig)Creates a new belief set with the given credibility order.
-
Method Summary
Modifier and Type Method Description net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.Agent>getCredibilityOrder()Returns the credibility order of this belief set.net.sf.tweety.commons.SignaturegetMinimalSignature()protected SinstantiateSignature()-
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
-
Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray
-
-
-
-
Constructor Detail
-
CrMasBeliefSet
public CrMasBeliefSet(net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.Agent> credibilityOrder, S sig)Creates a new belief set with the given credibility order.- Parameters:
credibilityOrder- some credibility order.sig- The type of signature used in this system.
-
-
Method Detail
-
getCredibilityOrder
public net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.Agent> getCredibilityOrder()
Returns the credibility order of this belief set.- Returns:
- the credibility order of this belief set.
-
getMinimalSignature
public net.sf.tweety.commons.Signature getMinimalSignature()
-
instantiateSignature
protected S instantiateSignature()
- Specified by:
instantiateSignaturein classnet.sf.tweety.commons.BeliefSet<InformationObject<T extends net.sf.tweety.commons.Formula>,S extends net.sf.tweety.commons.Signature>
-
-