Class ConflictFreeGenerator
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
- All Implemented Interfaces:
CandidateGenerator
- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptiongenerate(SatSolverState state)
Does not return the same candidate on two calls on the same instance.static CandidateGenerator
withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix.Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
prepare
-
Method Details
-
withPrefix
public static CandidateGenerator withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix.- Parameters:
adf
- adfmapping
- mappingprefix
- the fixed prefix- Returns:
- CandidateGeneratorwithPrefix
-
withoutPrefix
public static CandidateGenerator withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)The resultingCandidateGenerator
computes all conflict free interpretations.- Parameters:
adf
- adfmapping
- mapping- Returns:
- CandidateGeneratorwithoutPrefix
-
generate
Description copied from interface:CandidateGenerator
Does not return the same candidate on two calls on the same instance.- Specified by:
generate
in interfaceCandidateGenerator
- Parameters:
state
- the initialized state- Returns:
- the generated interpretation
-