Class KBipolarStateProcessor
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.sat.processor.KBipolarStateProcessor
-
- All Implemented Interfaces:
StateProcessor
public class KBipolarStateProcessor extends java.lang.Object implements StateProcessor
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description KBipolarStateProcessor()
-
Method Summary
Modifier and Type Method Description void
process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
-
-
-
Method Detail
-
process
public void process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
- Specified by:
process
in interfaceStateProcessor
-
-