Package org.tweetyproject.arg.adf.reasoner.sat.processor

Class RelativeKBipolarStateProcessor

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.processor.RelativeKBipolarStateProcessor

All Implemented Interfaces:

StateProcessor

public final class RelativeKBipolarStateProcessor
extends Object
implements StateProcessor

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

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
RelativeKBipolarStateProcessor(int maxDepth, LinkStrategy linkStrategy, AbstractDialecticalFramework adf, PropositionalMapping mapping)

Method Summary

Modifier and Type	Method	Description
void	process(Consumer<Clause> consumer)

Methods inherited from class java.lang.Object

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

Constructor Details

RelativeKBipolarStateProcessor

public RelativeKBipolarStateProcessor(int maxDepth,
 LinkStrategy linkStrategy,
 AbstractDialecticalFramework adf,
 PropositionalMapping mapping)

Parameters:

maxDepth - maxDepth

linkStrategy - linkStrategy

adf - adf

mapping - mapping

Method Details

process

public void process(Consumer<Clause> consumer)

Specified by:

process in interface StateProcessor