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

Interface CandidateGenerator<S>

Type Parameters:

S - some class

All Known Implementing Classes:

SatConflictFreeGenerator, SatGroundGenerator, SatModelGenerator

public interface CandidateGenerator<S>

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Interpretation	generate(S state, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
S	initialize(AbstractDialecticalFramework adf)

Method Detail

initialize

S initialize(AbstractDialecticalFramework adf)

generate

Interpretation generate(S state,
                        AbstractDialecticalFramework adf)

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

Parameters:

state -

adf -

Returns:

an interpretation