Uses of Class net.sf.tweety.arg.dung.divisions.Division

Packages that use Division
Package Description

net.sf.tweety.arg.dung.divisions

net.sf.tweety.arg.prob.lotteries

Uses of Division in net.sf.tweety.arg.dung.divisions

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.arg.prob.lotteries

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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.