Package net.sf.tweety.arg.prob.lotteries
Class ArgumentationLottery
- java.lang.Object
-
- net.sf.tweety.arg.prob.lotteries.ArgumentationLottery
-
public class ArgumentationLottery extends java.lang.Object
This class implements an argumentation lottery, i.e. a lottery on an exhaustive and disjoint set of divisions.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description private DungTheory
aaf
The AAF used.private java.util.Map<Division,Probability>
prob
Maps divisions to probabilitiesprivate Semantics
semantics
The semantics used for this lottery
-
Constructor Summary
Constructors Constructor Description ArgumentationLottery(java.util.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.java.util.Collection<Division>
getPossibleOutcomes()
Returns the set of possible outcomes.Semantics
getSemantics()
Returns the used semantics.DungTheory
getTheory()
Returns the used argumentation theory.java.lang.String
toString()
-
-
-
Field Detail
-
prob
private java.util.Map<Division,Probability> prob
Maps divisions to probabilities
-
semantics
private Semantics semantics
The semantics used for this lottery
-
aaf
private DungTheory aaf
The AAF used.
-
-
Constructor Detail
-
ArgumentationLottery
public ArgumentationLottery(java.util.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 divisionsp
- some probability functionsemantics
- some semantics
-
-
Method Detail
-
getSemantics
public Semantics getSemantics()
Returns the used semantics.- Returns:
- the used semantics.
-
getPossibleOutcomes
public java.util.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 java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-