Package org.tweetyproject.arg.prob.lotteries

Class ArgumentationLottery

java.lang.Object

org.tweetyproject.arg.prob.lotteries.ArgumentationLottery

public class ArgumentationLottery
extends Object

This class implements an argumentation lottery, i.e. a lottery on an exhaustive and disjoint set of divisions.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ArgumentationLottery(Collection<Division> divisions, SubgraphProbabilityFunction p, Semantics semantics)	Creates a new lottery for the given set of divisions using the given probability function and semantics.

Method Summary

Modifier and Type	Method	Description
Probability	get(Division d)	Returns the probability of the given outcome.
Collection<Division>	getPossibleOutcomes()	Returns the set of possible outcomes.
Semantics	getSemantics()	Returns the used semantics.
DungTheory	getTheory()	Returns the used argumentation theory.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ArgumentationLottery

public ArgumentationLottery(Collection<Division> divisions,
 SubgraphProbabilityFunction p,
 Semantics semantics)

Creates a new lottery for the given set of divisions using the given probability function and semantics.

Parameters:

divisions - some set of divisions

p - some probability function

semantics - some semantics

Method Details

getSemantics

public Semantics getSemantics()

Returns the used semantics.

Returns:

the used semantics.

getPossibleOutcomes

public Collection<Division> getPossibleOutcomes()

Returns the set of possible outcomes.

Returns:

the set of possible outcomes.

get

public Probability get(Division d)

Returns the probability of the given outcome.

Parameters:

d - some division

Returns:

the probability of the given division.

getTheory

public DungTheory getTheory()

Returns the used argumentation theory.

Returns:

the used argumentation theory.

toString

public String toString()

Overrides:

toString in class Object