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

Packages that use Division

Package	Description
net.sf.tweety.arg.dung.divisions

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 and Description
static 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.

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(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.