Modifier and Type | Field and Description |
---|---|
private static java.util.Map<DungTheory,java.util.Collection<Division>> |
archivedDivisons
archive of requested divisions.
|
Constructor and Description |
---|
Division(Extension p,
Extension v)
Creates a new division for the given parameters.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DungTheory> |
getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this division, i.e.
|
static java.util.Collection<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> |
getDivisions(Extension ext,
DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.
|
static java.util.Collection<Division> |
getStandardDivisions(DungTheory theory)
Returns the standard set of divisions of the given argumentation theory, i.e.
|
static boolean |
isDisjoint(java.util.Collection<Division> divisions,
DungTheory theory,
Semantics semantics)
Checks whether the given set o divisions is disjoint wrt.
|
static boolean |
isExhaustive(java.util.Collection<Division> divisions,
DungTheory theory,
Semantics semantics)
Checks whether the given set of divisions is exhaustive wrt.
|
boolean |
isValid(java.util.Collection<Extension> exts)
Checks whether this division is valid wrt.
|
boolean |
isValid(Extension ext)
Checks whether this division is valid wrt.
|
private static java.util.Map<DungTheory,java.util.Collection<Division>> archivedDivisons
public boolean isValid(java.util.Collection<Extension> exts)
exts
- a collection of extensions.public boolean isValid(Extension ext)
ext
- some extensionpublic java.util.Collection<DungTheory> getDividers(DungTheory theory, Semantics semantics)
theory
- some argumentation frameworksemantics
- some semanticspublic static java.util.Collection<Division> getDivisions(java.util.Collection<Extension> exts, DungTheory aaf)
exts
- a collection of extensions.aaf
- a Dung theorypublic static java.util.Collection<Division> getDivisions(Extension ext, DungTheory aaf)
ext
- some extensionaaf
- some Dung theorypublic static boolean isExhaustive(java.util.Collection<Division> divisions, DungTheory theory, Semantics semantics)
divisions
- a set of divisions.theory
- some aaf.semantics
- some semanticspublic static boolean isDisjoint(java.util.Collection<Division> divisions, DungTheory theory, Semantics semantics)
divisions
- a set of divisionstheory
- some aafsemantics
- some semanticspublic static java.util.Collection<Division> getStandardDivisions(DungTheory theory)
theory
- some theory.