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 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 TypeMethodDescriptionSetAf.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)