public class LdoArgumentationLottery
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private DungTheory |
aaf
The AAF used.
|
private java.util.Map<LdoFormula,Probability> |
prob
Maps LdoFormulas to probabilities
|
private Semantics |
semantics
The semantics used for this lottery
|
Constructor and Description |
---|
LdoArgumentationLottery(java.util.Collection<LdoFormula> formulas,
SubgraphProbabilityFunction p,
Semantics semantics)
Creates a new lottery for the given set of formulas using the given
probability function and semantics.
|
Modifier and Type | Method and Description |
---|---|
Probability |
get(LdoFormula f)
Returns the probability of the given outcome.
|
java.util.Collection<LdoFormula> |
getPossibleOutcomes()
Returns the set of possible outcomes.
|
Semantics |
getSemantics()
Returns the used semantics.
|
DungTheory |
getTheory()
Returns the used argumentation theory.
|
java.lang.String |
toString() |
private java.util.Map<LdoFormula,Probability> prob
private Semantics semantics
private DungTheory aaf
public LdoArgumentationLottery(java.util.Collection<LdoFormula> formulas, SubgraphProbabilityFunction p, Semantics semantics)
formulas
- some set of formulasp
- some probability functionsemantics
- some semanticspublic Semantics getSemantics()
public java.util.Collection<LdoFormula> getPossibleOutcomes()
public Probability get(LdoFormula f)
d
- some divisionpublic DungTheory getTheory()
public java.lang.String toString()
toString
in class java.lang.Object