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 with parameters of type SetAf

Modifier and Type	Method	Description
Collection<Extension>	SimpleNaiveSetAfReasoner.getMaximalConflictFreeSets(SetAf bbase, Collection<Argument> candidates)	computes all maximal conflict-free sets of 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
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)

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.