Package net.sf.tweety.arg.prob.lotteries

Class ArgumentationLottery

java.lang.Object

net.sf.tweety.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<net.sf.tweety.arg.dung.divisions.Division> divisions, SubgraphProbabilityFunction p, net.sf.tweety.arg.dung.semantics.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
net.sf.tweety.math.probability.Probability	get(net.sf.tweety.arg.dung.divisions.Division d)	Returns the probability of the given outcome.
Collection<net.sf.tweety.arg.dung.divisions.Division>	getPossibleOutcomes()	Returns the set of possible outcomes.
net.sf.tweety.arg.dung.semantics.Semantics	getSemantics()	Returns the used semantics.
net.sf.tweety.arg.dung.syntax.DungTheory	getTheory()	Returns the used argumentation theory.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ArgumentationLottery

public ArgumentationLottery(Collection<net.sf.tweety.arg.dung.divisions.Division> divisions,
                            SubgraphProbabilityFunction p,
                            net.sf.tweety.arg.dung.semantics.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 Detail

getSemantics

public net.sf.tweety.arg.dung.semantics.Semantics getSemantics()

Returns the used semantics.

Returns:

the used semantics.

getPossibleOutcomes

public Collection<net.sf.tweety.arg.dung.divisions.Division> getPossibleOutcomes()

Returns the set of possible outcomes.

Returns:

the set of possible outcomes.

get

public net.sf.tweety.math.probability.Probability get(net.sf.tweety.arg.dung.divisions.Division d)

Returns the probability of the given outcome.

Parameters:

d - some division

Returns:

the probability of the given division.

getTheory

public net.sf.tweety.arg.dung.syntax.DungTheory getTheory()

Returns the used argumentation theory.

Returns:

the used argumentation theory.

toString

public String toString()

Overrides:

toString in class Object