Uses of Class
org.tweetyproject.arg.dung.divisions.Division
-
Uses of Division in org.tweetyproject.arg.dung.divisions
Modifier and TypeMethodDescriptionstatic Collection<Division>
Division.getDivisions(Collection<Extension> exts, DungTheory aaf)
Returns all divisions of all given extensions and the given aaf.static Collection<Division>
Division.getDivisions(Extension ext, DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.static Collection<Division>
Division.getStandardDivisions(DungTheory theory)
Returns the standard set of divisions of the given argumentation theory, i.e.Modifier and TypeMethodDescriptionstatic boolean
Division.isDisjoint(Collection<Division> divisions, DungTheory theory, Semantics semantics)
Checks whether the given set o divisions is disjoint wrt.static boolean
Division.isExhaustive(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
Modifier and TypeMethodDescriptionArgumentationLottery.getPossibleOutcomes()
Returns the set of possible outcomes.Modifier and TypeMethodDescriptionReturns the probability of the given outcome.SubgraphProbabilityFunction.getAcceptanceProbability(Division d, Semantics semantics)
Returns the probability of the given division being acceptable wrt.ModifierConstructorDescriptionArgumentationLottery(Collection<Division> divisions, SubgraphProbabilityFunction p, Semantics semantics)
Creates a new lottery for the given set of divisions using the given probability function and semantics.