Uses of Class
org.tweetyproject.arg.setaf.syntax.SetAf

Packages that use SetAf

Package	Description
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.arg.setaf.syntax

Uses of SetAf in org.tweetyproject.arg.setaf.reasoners

Methods in org.tweetyproject.arg.setaf.reasoners that return types with arguments of type SetAf

Modifier and Type	Method	Description
Collection<Extension<SetAf>>	SimpleNaiveSetAfReasoner.getMaximalConflictFreeSets(SetAf bbase, Collection<Argument> candidates)	computes all maximal conflict-free sets of bbase
Extension<SetAf>	SimpleAdmissibleSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleCompleteSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleConflictFreeSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleEagerSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleGroundedSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleIdealSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleNaiveSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimplePreferredSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleSemiStableSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleStableSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleStageSetAfReasoner.getModel(SetAf bbase)
Collection<Extension<SetAf>>	SimpleAdmissibleSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleCompleteSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleConflictFreeSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleEagerSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleGroundedSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleIdealSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleNaiveSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimplePreferredSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleSemiStableSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleStableSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleStageSetAfReasoner.getModels(SetAf bbase)

Methods in org.tweetyproject.arg.setaf.reasoners with parameters of type SetAf

Modifier and Type	Method	Description
Collection<Extension<SetAf>>	SimpleNaiveSetAfReasoner.getMaximalConflictFreeSets(SetAf bbase, Collection<Argument> candidates)	computes all maximal conflict-free sets of bbase
Extension<SetAf>	SimpleAdmissibleSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleCompleteSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleConflictFreeSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleEagerSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleGroundedSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleIdealSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleNaiveSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimplePreferredSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleSemiStableSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleStableSetAfReasoner.getModel(SetAf bbase)
Extension<SetAf>	SimpleStageSetAfReasoner.getModel(SetAf bbase)
Collection<Extension<SetAf>>	SimpleAdmissibleSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleCompleteSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleConflictFreeSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleEagerSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleGroundedSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleIdealSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleNaiveSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimplePreferredSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleSemiStableSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleStableSetAfReasoner.getModels(SetAf bbase)
Collection<Extension<SetAf>>	SimpleStageSetAfReasoner.getModels(SetAf bbase)
Boolean	AbstractExtensionSetAfReasoner.query(SetAf beliefbase, Argument formula)
Boolean	AbstractExtensionSetAfReasoner.query(SetAf beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
abstract Boolean	AbstractSetAfReasoner.query(SetAf beliefbase, Argument formula)

Uses of SetAf in org.tweetyproject.arg.setaf.syntax

Methods in org.tweetyproject.arg.setaf.syntax that return SetAf

Modifier and Type	Method	Description
SetAf	SetAf.clone()
SetAf	SetAf.getComplementGraph(int selfloops)
SetAf	SetAf.getRestriction(Collection<Argument> nodes)

Methods in org.tweetyproject.arg.setaf.syntax that return types with arguments of type SetAf

Modifier and Type	Method	Description
Extension<SetAf>	SetAf.faf(Extension<SetAf> extension)	The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
Collection<SetAf>	SetAf.getSubgraphs(SetAf g)	Returns the set of sub graphs of the given graph.

Methods in org.tweetyproject.arg.setaf.syntax with parameters of type SetAf

Modifier and Type	Method	Description
boolean	SetAf.add(SetAf theory)	Adds all arguments and attacks of the given theory to this theory
int	SetAf.compareTo(SetAf o)
static <S extends Node> boolean	SetAf.existsDirectedPath(SetAf hyperGraph, Argument node1, Argument node2)
Collection<SetAf>	SetAf.getSubgraphs(SetAf g)	Returns the set of sub graphs of the given graph.
static Collection<DirHyperGraph<Argument>>	SetAf.getSubgraphsHelper(SetAf g)

Method parameters in org.tweetyproject.arg.setaf.syntax with type arguments of type SetAf

Modifier and Type	Method	Description
Extension<SetAf>	SetAf.faf(Extension<SetAf> extension)	The 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 on argument 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 of ext2 attacks some argument in ext1
boolean	SetAf.isAttackingAllOtherArguments(Extension<SetAf> ext)	returns true if arguments attack all other arguments in the theory
boolean	SetAf.isConflictFree(Extension<SetAf> ext)	returns true if no accepted argument attacks another accepted one in this interpretation wrt.
boolean	SetAf.isStable(Extension<SetAf> e)	Checks whether the given extension is stable wrt.

Constructors in org.tweetyproject.arg.setaf.syntax with parameters of type SetAf

Modifier	Constructor	Description
	SetAf(SetAf DirHyperGraph)	Creates a new theory from the given DirHyperGraph.