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

Interface StateProcessor

All Known Implementing Classes:

KBipolarStateProcessor, RelativeKBipolarStateProcessor

public interface StateProcessor

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
void	process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)

Method Detail

process

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