Class ModelGenerator
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.sat.generator.ModelGenerator
-
- All Implemented Interfaces:
CandidateGenerator
public final class ModelGenerator extends java.lang.Object implements CandidateGenerator
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description ModelGenerator()
-
Method Summary
Modifier and Type Method Description Interpretation
generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Does not return the same candidate on two calls on the same instance.void
initialize(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Performs initializations on the state.
-
-
-
Method Detail
-
initialize
public void initialize(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Description copied from interface:CandidateGenerator
Performs initializations on the state.- Specified by:
initialize
in interfaceCandidateGenerator
- Parameters:
state
- the state to initializeencodingContext
- the propositional mapping of the ADFadf
- the ADF
-
generate
public Interpretation generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
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 stateencodingContext
- the propositional mapping of the ADFadf
- the ADF- Returns:
- the generated interpretation
-
-