Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
Package
Description
-
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionSemantics.createCandidateGenerator
(Supplier<SatSolverState> stateSupplier) -
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeClassDescriptionclass
class
class
class
Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
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 resultingCandidateGenerator
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 resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix.static CandidateGenerator
ConflictFreeGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
GroundGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes the ground interpretation.static CandidateGenerator
ModelGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all two-valued model interpretations.