Class ModelGenerator
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator
- 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 two-valued model interpretations.static CandidateGenerator
withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes two-valued models 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 two-valued models which are extensions of the defined prefix.- Parameters:
adf
-mapping
-prefix
- the fixed prefix- Returns:
-
withoutPrefix
public static CandidateGenerator withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)The resultingCandidateGenerator
computes all two-valued model interpretations.- Parameters:
adf
-mapping
-- Returns:
-
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
-