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

Class KBipolarStateProcessor

java.lang.Object

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

All Implemented Interfaces:

StateProcessor

public class KBipolarStateProcessor
extends 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)

Methods inherited from class java.lang.Object

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

Constructor Detail

KBipolarStateProcessor

public KBipolarStateProcessor()

Method Detail

process

public void process(SatSolverState state,
                    PropositionalMapping encodingContext,
                    AbstractDialecticalFramework adf)

Specified by:

process in interface StateProcessor