Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
Package
Description
-
Uses of Semantics in org.tweetyproject.arg.adf.reasoner.query
Modifier and TypeMethodDescription -
Uses of Semantics in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionstatic Semantics
Semantics.admissible(AbstractDialecticalFramework adf)
static Semantics
Semantics.complete(AbstractDialecticalFramework adf)
static Semantics
Semantics.conflictFree(AbstractDialecticalFramework adf)
static Semantics
Semantics.ground(AbstractDialecticalFramework adf)
static Semantics
Semantics.model(AbstractDialecticalFramework adf)
static Semantics
Semantics.naive(AbstractDialecticalFramework adf)
static Semantics
Semantics.preferred(AbstractDialecticalFramework adf)
static Semantics
Semantics.stable(AbstractDialecticalFramework adf)
Semantics.withPrefix(Interpretation prefix)
ModifierConstructorDescriptionParallelExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)