Class 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 Detail

      • semantics

        private Semantics semantics
        The semantics used for this lottery
    • 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 divisions
        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<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 class java.lang.Object