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

Class ConflictFreeGenerator

java.lang.Object

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

All Implemented Interfaces:

CandidateGenerator

public final class ConflictFreeGenerator
extends java.lang.Object
implements CandidateGenerator

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
ConflictFreeGenerator()

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConflictFreeGenerator

public ConflictFreeGenerator()

Method Detail

initialize

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

Description copied from interface: CandidateGenerator

Performs initializations on the state.

Specified by:

initialize in interface CandidateGenerator

Parameters:

state - the state to initialize

mapping - the propositional mapping of the ADF

adf - the ADF

generate

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

Description copied from interface: CandidateGenerator

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

Specified by:

generate in interface CandidateGenerator

Parameters:

state - the initialized state

mapping - the propositional mapping of the ADF

adf - the ADF

Returns:

the generated interpretation