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

Fields in net.sf.tweety.arg.dung.divisions with type parameters of type Division

Modifier and Type	Field and Description
private static java.util.Map<DungTheory,java.util.Collection<Division>>	Division.archivedDivisons archive of requested divisions.

Methods in net.sf.tweety.arg.dung.divisions that return types with arguments of type Division

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

Fields in net.sf.tweety.arg.prob.lotteries with type parameters of type Division

Modifier and Type	Field and Description
private java.util.Map<Division,Probability>	ArgumentationLottery.prob Maps divisions to probabilities

Methods in net.sf.tweety.arg.prob.lotteries that return types with arguments of type Division

Modifier and Type	Method and 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 and 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 and 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.