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)
-
-