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

Class SatKBipolarStateProcessor

java.lang.Object

net.sf.tweety.arg.adf.reasoner.processor.SatKBipolarStateProcessor

All Implemented Interfaces:

StateProcessor<SatReasonerContext>

public class SatKBipolarStateProcessor
extends Object
implements StateProcessor<SatReasonerContext>

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatKBipolarStateProcessor()

Method Summary

Modifier and Type	Method	Description
void	process(SatReasonerContext context, AbstractDialecticalFramework adf)

Methods inherited from class java.lang.Object

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

Constructor Detail

SatKBipolarStateProcessor

public SatKBipolarStateProcessor()

Method Detail

process

public void process(SatReasonerContext context,
                    AbstractDialecticalFramework adf)

Specified by:

process in interface StateProcessor<SatReasonerContext>