| Modifier and Type | Method and Description |
|---|---|
Extension |
DungTheory.faf(Extension extension)
The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
|
| Modifier and Type | Method and Description |
|---|---|
Set<Extension> |
SemiStableReasoner.computeExtensions() |
Set<Extension> |
StageReasoner.computeExtensions() |
Set<Extension> |
SccCompleteReasoner.computeExtensions() |
Set<Extension> |
ConflictFreeReasoner.computeExtensions() |
Set<Extension> |
CompleteReasoner.computeExtensions() |
protected abstract Set<Extension> |
AbstractExtensionReasoner.computeExtensions()
Computes the extensions this reasoner bases upon.
|
Set<Extension> |
CF2Reasoner.computeExtensions() |
protected Set<Extension> |
GroundReasoner.computeExtensions() |
Set<Extension> |
AdmissibleReasoner.computeExtensions() |
protected Set<Extension> |
StableReasoner.computeExtensions() |
protected Set<Extension> |
PreferredReasoner.computeExtensions() |
Set<Extension> |
IdealReasoner.computeExtensions() |
protected Set<Extension> |
CompleteReasoner.computeExtensionsBySatSolving()
Computes the extensions by reducing the problem to SAT solving
|
Collection<Extension> |
GrossiModgilRankingReasoner.getAllMNCompleteExtensions(int m,
int n)
Returns all mn-complete extensions.
|
Collection<Extension> |
GrossiModgilRankingReasoner.getAllMNGroundedExtensions(int m,
int n)
Returns all mn-grounded extensions.
|
Collection<Extension> |
GrossiModgilRankingReasoner.getAllMNPreferredExtensions(int m,
int n)
Returns all mn-preferred extensions.
|
Collection<Extension> |
GrossiModgilRankingReasoner.getAllMStableExtensions(int m)
Returns all m-stable extensions.
|
Set<Extension> |
AbstractExtensionReasoner.getExtensions()
Returns the extensions this reasoner bases upon.
|
| Modifier and Type | Method and Description |
|---|---|
Extension |
DungTheory.faf(Extension extension)
The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
|
boolean |
DungTheory.isAttacked(Argument argument,
Extension ext)
returns true if some argument of
|
boolean |
DungTheory.isAttacked(Extension ext1,
Extension ext2)
returns true if some argument of
|
boolean |
DungTheory.isAttackingAllOtherArguments(Extension ext)
returns true if
|
boolean |
DungTheory.isStable(Extension e)
Checks whether the given extension is stable wrt.
|
| Modifier and Type | Method and Description |
|---|---|
static Collection<Division> |
Division.getDivisions(Extension ext,
DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.
|
boolean |
Division.isValid(Extension ext)
Checks whether this division is valid wrt.
|
| 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.
|
boolean |
Division.isValid(Collection<Extension> exts)
Checks whether this division is valid wrt.
|
| Constructor and Description |
|---|
Division(Extension p,
Extension v)
Creates a new division for the given parameters.
|
| Constructor and Description |
|---|
LdoInterpretation(DungTheory theory,
Extension ext,
Semantics semantics)
Creates a new interpretation
|
| Modifier and Type | Method and Description |
|---|---|
static Extension |
AbstractDungParser.parseArgumentList(String s)
Returns a collection view of the given set of arguments
|
| Modifier and Type | Method and Description |
|---|---|
Set<Extension> |
ProboSolver.enumerate(Problem problem,
DungTheory aaf,
FileFormat format)
Solves the given enumeration problem on the given AAF with
|
| Modifier and Type | Method and Description |
|---|---|
Extension |
Labeling.getArgumentsOfStatus(ArgumentStatus status) |
Extension |
Extension.getArgumentsOfStatus(ArgumentStatus status) |
Extension |
NumericalArgumentRanking.getArgumentsOfStatus(ArgumentStatus status) |
Extension |
LatticeArgumentRanking.getArgumentsOfStatus(ArgumentStatus status) |
abstract Extension |
AbstractArgumentationInterpretation.getArgumentsOfStatus(ArgumentStatus status)
Returns all arguments that have the given status in this interpretation.
|
| Modifier and Type | Method and Description |
|---|---|
int |
Extension.compareTo(Extension arg0) |
| Constructor and Description |
|---|
Labeling(DungTheory theory,
Extension ext)
Creates a new labeling from the given extension wrt.
|
Copyright © 2018. All rights reserved.