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)
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)
Semantics	Semantics.restrict(Interpretation partial)
static Semantics	Semantics.stable(AbstractDialecticalFramework 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)