Uses of Class
org.tweetyproject.arg.setaf.syntax.SetAf
-
Uses of SetAf in org.tweetyproject.arg.setaf.reasoners
Modifier and TypeMethodDescriptionSimpleNaiveSetAfReasoner.getMaximalConflictFreeSets
(SetAf bbase, Collection<Argument> candidates) computes all maximal conflict-free sets of bbaseModifier and TypeMethodDescriptionSimpleNaiveSetAfReasoner.getMaximalConflictFreeSets
(SetAf bbase, Collection<Argument> candidates) computes all maximal conflict-free sets of bbaseAbstractExtensionSetAfReasoner.query
(SetAf beliefbase, Argument formula, InferenceMode inferenceMode) Queries the given AAF for the given argument using the given inference type.abstract Boolean
-
Uses of SetAf in org.tweetyproject.arg.setaf.syntax
Modifier and TypeMethodDescriptionSetAf.clone()
SetAf.getComplementGraph
(int selfloops) SetAf.getRestriction
(Collection<Argument> nodes) Modifier and TypeMethodDescriptionThe characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.SetAf.getSubgraphs
(SetAf g) Returns the set of sub graphs of the given graph.Modifier and TypeMethodDescriptionboolean
Adds all arguments and attacks of the given theory to this theoryint
static <S extends Node>
booleanSetAf.existsDirectedPath
(SetAf hyperGraph, Argument node1, Argument node2) SetAf.getSubgraphs
(SetAf g) Returns the set of sub graphs of the given graph.static Collection<DirHyperGraph<Argument>>
SetAf.getSubgraphsHelper
(SetAf g) Modifier and TypeMethodDescriptionThe characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.boolean
SetAf.isAcceptable
(Argument argument, Extension<SetAf> ext) returns true if every attacker onargument
is attacked by some accepted argument wrt.boolean
SetAf.isAdmissable
(Extension<SetAf> ext) returns true if every accepted argument of this is defended by some accepted argument wrt.boolean
SetAf.isAttacked
(Extension<SetAf> ext1, Extension<SetAf> ext2) returns true if some argument ofext2
attacks some argument inext1
boolean
SetAf.isAttackingAllOtherArguments
(Extension<SetAf> ext) returns true ifarguments
attack all other arguments in the theoryboolean
SetAf.isConflictFree
(Extension<SetAf> ext) returns true if no accepted argument attacks another accepted one in this interpretation wrt.boolean
Checks whether the given extension is stable wrt.