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)	Return custom

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)	Creates the admissible semantics for the given ADF.
static Semantics	Semantics.complete(AbstractDialecticalFramework adf)	Creates the complete semantics for the given ADF.
static Semantics	Semantics.conflictFree(AbstractDialecticalFramework adf)	Creates the conflict-free semantics for the given ADF.
static Semantics	Semantics.ground(AbstractDialecticalFramework adf)	Creates the grounded semantics for the given ADF.
static Semantics	Semantics.model(AbstractDialecticalFramework adf)	Creates the model semantics for the given ADF.
static Semantics	Semantics.naive(AbstractDialecticalFramework adf)	Creates the naive semantics for the given ADF.
static Semantics	Semantics.preferred(AbstractDialecticalFramework adf)	Creates the preferred semantics for the given ADF.
Semantics	Semantics.restrict(Interpretation partial)	Returns a restricted version of this semantics.
static Semantics	Semantics.stable(AbstractDialecticalFramework adf)	Creates the stable semantics for the given ADF.

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

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