Class RestrictedKBipolarStateProcessor

java.lang.Object

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

All Implemented Interfaces:

StateProcessor

public final class RestrictedKBipolarStateProcessor
extends Object
implements StateProcessor

The RestrictedKBipolarStateProcessor is a class that processes SAT encodings for restricted bipolar and k-bipolar argumentation frameworks. It implements the StateProcessor interface and generates SAT clauses based on the argumentation framework's bipolarity.

This class ensures that the appropriate SAT encoding is applied based on whether the framework is bipolar or not. It uses a restricted approach, taking into account a partial interpretation provided during instantiation.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
RestrictedKBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial)	Constructs a RestrictedKBipolarStateProcessor with the given ADF, propositional mapping, and partial interpretation.

Method Summary

Modifier and Type	Method	Description
void	process(Consumer<Clause> consumer)	Processes the SAT encodings for the restricted bipolar or k-bipolar frameworks.

Methods inherited from class java.lang.Object

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

Constructor Details

RestrictedKBipolarStateProcessor

public RestrictedKBipolarStateProcessor(AbstractDialecticalFramework adf,
 PropositionalMapping mapping,
 Interpretation partial)

Constructs a RestrictedKBipolarStateProcessor with the given ADF, propositional mapping, and partial interpretation. The processor will apply either the restricted bipolar or k-bipolar SAT encoding depending on the nature of the argumentation framework.

Parameters:

adf - the abstract dialectical framework to be processed, must not be null

mapping - the propositional mapping used for SAT encoding, must not be null

partial - the partial interpretation used for restricting the SAT encoding, must not be null

Throws:

NullPointerException - if any of the parameters are null

Method Details

process

public void process(Consumer<Clause> consumer)

Processes the SAT encodings for the restricted bipolar or k-bipolar frameworks. If the framework is bipolar, the bipolar SAT encoding is used. Otherwise, both the bipolar and k-bipolar SAT encodings are applied.

Specified by:

process in interface StateProcessor

Parameters:

consumer - a consumer that accepts the generated SAT clauses