Package net.sf.tweety.arg.adf.reasoner.sat.generator

Interface CandidateGenerator

All Known Implementing Classes:

ConflictFreeGenerator, GroundGenerator, ModelGenerator

public interface CandidateGenerator

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Interpretation	generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
void	initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Performs initializations on the state.

Method Detail

initialize

void initialize(SatSolverState state,
                PropositionalMapping mapping,
                AbstractDialecticalFramework adf)

Performs initializations on the state.

Parameters:

state - the state to initialize

mapping - the propositional mapping of the ADF

adf - the ADF

generate

Interpretation generate(SatSolverState state,
                        PropositionalMapping mapping,
                        AbstractDialecticalFramework adf)

Does not return the same candidate on two calls on the same instance.

Parameters:

state - the initialized state

mapping - the propositional mapping of the ADF

adf - the ADF

Returns:

the generated interpretation