LdoArgumentationLottery

java.lang.Object
- net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery

```
public class LdoArgumentationLottery
extends java.lang.Object
```
This class implements an argumentation lottery based on the logic of dialectical outcomes, i.e. a lottery on an exhaustive and disjoint set of formulas of LDO.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	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.

Method Summary

Modifier and Type	Method	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()`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - LdoArgumentationLottery
```
public 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.
    
    Parameters:
    
    formulas - some set of formulas
    
    p - some probability function
    
    semantics - some semantics
- Method Detail
  - getSemantics
```
public Semantics getSemantics()
```
    Returns the used semantics.
    
    Returns:
    
    the used semantics.
  - getPossibleOutcomes
```
public java.util.Collection<LdoFormula> getPossibleOutcomes()
```
    Returns the set of possible outcomes.
    
    Returns:
    
    the set of possible outcomes.
  - get
```
public Probability get(LdoFormula f)
```
    Returns the probability of the given outcome.
    
    Parameters:
    
    f - some LDO formula
    
    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 class java.lang.Object