Uses of Class
org.tweetyproject.arg.dung.divisions.Division
-
Packages that use Division Package Description org.tweetyproject.arg.dung.divisions org.tweetyproject.arg.prob.lotteries -
-
Uses of Division in org.tweetyproject.arg.dung.divisions
Methods in org.tweetyproject.arg.dung.divisions that return types with arguments of type Division Modifier and Type Method Description static java.util.Collection<Division>
Division. getDivisions(java.util.Collection<Extension> exts, DungTheory aaf)
Returns all divisions of all given extensions and the given aaf.static java.util.Collection<Division>
Division. getDivisions(Extension ext, DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.static java.util.Collection<Division>
Division. getStandardDivisions(DungTheory theory)
Returns the standard set of divisions of the given argumentation theory, i.e.Method parameters in org.tweetyproject.arg.dung.divisions with type arguments of type Division Modifier and Type Method Description static boolean
Division. isDisjoint(java.util.Collection<Division> divisions, DungTheory theory, Semantics semantics)
Checks whether the given set o divisions is disjoint wrt.static boolean
Division. isExhaustive(java.util.Collection<Division> divisions, DungTheory theory, Semantics semantics)
Checks whether the given set of divisions is exhaustive wrt. -
Uses of Division in org.tweetyproject.arg.prob.lotteries
Methods in org.tweetyproject.arg.prob.lotteries that return types with arguments of type Division Modifier and Type Method Description java.util.Collection<Division>
ArgumentationLottery. getPossibleOutcomes()
Returns the set of possible outcomes.Methods in org.tweetyproject.arg.prob.lotteries with parameters of type Division Modifier and Type Method Description Probability
ArgumentationLottery. get(Division d)
Returns the probability of the given outcome.Probability
SubgraphProbabilityFunction. getAcceptanceProbability(Division d, Semantics semantics)
Returns the probability of the given division being acceptable wrt.Constructor parameters in org.tweetyproject.arg.prob.lotteries with type arguments of type Division 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.
-