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

Class RelativeKBipolarStateProcessor

java.lang.Object

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

All Implemented Interfaces:

StateProcessor

public abstract class RelativeKBipolarStateProcessor
extends java.lang.Object
implements StateProcessor

Decides if an ADF becomes k-bipolar relative to some truth assignments.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
static StateProcessor	absoluteBounded(int k, Ordering<Argument> ordering, IncrementalSatSolver solver)
void	process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
static StateProcessor	relativeBounded(double l, int k, Ordering<Argument> ordering, IncrementalSatSolver solver)

Methods inherited from class java.lang.Object

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

Method Detail

relativeBounded

public static StateProcessor relativeBounded(double l,
                                             int k,
                                             Ordering<Argument> ordering,
                                             IncrementalSatSolver solver)

absoluteBounded

public static StateProcessor absoluteBounded(int k,
                                             Ordering<Argument> ordering,
                                             IncrementalSatSolver solver)

process

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

Specified by:

process in interface StateProcessor