net.sf.tweety.beliefdynamics.mas

Class CrMasBeliefSet<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.commons.BeliefSet<InformationObject<T>>

net.sf.tweety.beliefdynamics.mas.CrMasBeliefSet<T>

Type Parameters:

T - The type of formulas in information objects.

All Implemented Interfaces:

Iterable<InformationObject<T>>, Collection<InformationObject<T>>, net.sf.tweety.commons.BeliefBase

public class CrMasBeliefSet<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.commons.BeliefSet<InformationObject<T>>

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 and Description
CrMasBeliefSet(net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.Agent> credibilityOrder) Creates a new belief set with the given credibility order.

Method Summary

Modifier and Type	Method and 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.Signature	getSignature()

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, 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

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

CrMasBeliefSet

public CrMasBeliefSet(net.sf.tweety.graphs.orders.Order<net.sf.tweety.agents.Agent> credibilityOrder)

Creates a new belief set with the given credibility order.

Parameters:

credibilityOrder - some credibility order.

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.

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<InformationObject<T extends net.sf.tweety.commons.Formula>>