Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator

Packages that use CandidateGenerator

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

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

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

Modifier and Type	Method	Description
CandidateGenerator	Semantics.createCandidateGenerator(Supplier<SatSolverState> stateSupplier)

Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.generator

Classes in org.tweetyproject.arg.adf.reasoner.sat.generator that implement CandidateGenerator

Modifier and Type	Class	Description
class	AbstractCandidateGenerator
class	ConflictFreeGenerator
class	GroundGenerator
class	ModelGenerator

Methods in org.tweetyproject.arg.adf.reasoner.sat.generator that return CandidateGenerator

Modifier and Type	Method	Description
static CandidateGenerator	ConflictFreeGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes conflict free interpretations which are extensions of the defined partial interpretation.
static CandidateGenerator	GroundGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.
static CandidateGenerator	ModelGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.
static CandidateGenerator	ConflictFreeGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator computes all conflict free interpretations.
static CandidateGenerator	GroundGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator computes the ground interpretation.
static CandidateGenerator	ModelGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator computes all two-valued model interpretations.