|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
true if, for each of the specified collections, its set-view is admissible in this AF.
true if all of argsToCheck are acceptable with respect to the set-view of
acceptingArgColl in this AF.
true if the specified arguments are all acceptable with respect to the set-view of
acceptingArgColl in this AF.
true if the specified String-arrays all denote attacks.
true if the specified collection comprises String-arrays which denote attacks.
true if, in this AF, any of the arguments in the specified collection is in conflict with any
of the specified arguments.
DungAF against interpretations provided by
ASPARTIX.
true if, for each of the specified collections, its set-view is a complete extension of
this AF.
true if, in this AF, none of the specified arguments attacks itself or any of the other specified
arguments.
true if, in this AF, no argument in the specified collection attacks itself or any other
argument in the collection.
true if, in this AF, none of the arguments in the union of the specified collections
attacks itself or any other argument in the union.
anotherAF.
argsParam and
all arguments involved in any attack in attsParam; and atts comprises the set-view of
attsParam.
anotherAF.
anotherAF.
true if this object and anotherAF record the same AF.
argsParam in this AF.
arg in this AF.
arg in this AF.
arg in this AF, if called by another method (and passed arg, the
empty list and the singleton set containing the empty set).
semantics for this AF, where semantics is a
multiple-extension semantics implemented by this class.
arg in this AF.
true if the specified arguments form a conflict-free set in this AF.
true if the set-view of the specified collection is a conflict-free set in this AF.
true if the specified collections unite to form a conflict-free set in this AF.
DungAF.
true if this AF contains contains none of the arguments in anotherAF.
DungAF and
the utility class SetComparison.javaDungAF - DungAF
and SetComparison.writeFilesWithDungAF() or
compareResults(), depending on the second item in args.
true if, for each of the specified collections, its set-view is a preferred extension
of this AF.
true if this object records the defence-sets around the specified arguments in its AF.
true if this object records the extension(s) prescribed by semantics for its AF, where
semantics is a semantics implemented by this class.
collColl's non-maximal members, simply using
containsAll(Collection<?>) to compare the collections.
collColl's non-minimal members, simply using
containsAll(Collection<?>) to compare the collections.
collColl's non-minimal/non-maximal members, simply using
containsAll(Collection<?>) to compare the collections.
true if, for each of the specified collections, its set-view is a semi-stable extension of
this AF.
true if, for each of the specified collections, its set-view is a stable extension of
this AF.
true if this AF is a (strict or non-strict) supergraph of anotherAF.
DungAF.getDefenceSetsAround(String).SetComparison's
removeNonMinimalMembersOf(Collection<T extends Collection>)
and
removeNonMaximalMembersOf(Collection<T extends Collection>) methods.DungAF, using ASPARTIX (v.0.9).DungAF.
DungAF's interpretations of those AFs to the results-files.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||