Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
Package
Description
-
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.execution
-
Uses of CandidateGenerator in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeClassDescriptionclass
class
class
Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
GroundGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes the ground interpretation.static CandidateGenerator
ModelGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all two-valued model interpretations.static CandidateGenerator
ConflictFreeGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix.static CandidateGenerator
GroundGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes the ground interpretation if it extends the given prefix.static CandidateGenerator
ModelGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix.