Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics

Packages that use Semantics

Package	Description
org.tweetyproject.arg.adf.reasoner.query
org.tweetyproject.arg.adf.reasoner.sat.execution

Uses of Semantics in org.tweetyproject.arg.adf.reasoner.query

Methods in org.tweetyproject.arg.adf.reasoner.query with parameters of type Semantics

Modifier and Type	Method	Description
ConditionlessTaskStep	SemanticsStep.custom(Semantics semantics)

Uses of Semantics in org.tweetyproject.arg.adf.reasoner.sat.execution

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return Semantics

Modifier and Type	Method	Description
static 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	Semantics.withPrefix(Interpretation prefix)

Constructors in org.tweetyproject.arg.adf.reasoner.sat.execution with parameters of type Semantics

Modifier	Constructor	Description
	ParallelExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
	SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)