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

Class MaximizeInterpretationProcessor

java.lang.Object

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

All Implemented Interfaces:

InterpretationProcessor

public class MaximizeInterpretationProcessor
extends java.lang.Object
implements InterpretationProcessor

Maximizes the given interpretation and afterwards restricts the search space from generating smaller ones.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
MaximizeInterpretationProcessor()
MaximizeInterpretationProcessor(Verifier verifier)

Method Summary

Modifier and Type	Method	Description
Interpretation	process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)	Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.
void	updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)	This method is called by the Pipeline on the shared state and the result of the process method, hence after the processing is done.

Methods inherited from class java.lang.Object

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

Constructor Detail

MaximizeInterpretationProcessor

public MaximizeInterpretationProcessor()

MaximizeInterpretationProcessor

public MaximizeInterpretationProcessor(Verifier verifier)

Parameters:

verifier - verifies a property of the intermediate solutions

Method Detail

process

public Interpretation process(SatSolverState processingState,
                              SatSolverState verificationState,
                              PropositionalMapping mapping,
                              Interpretation interpretation,
                              AbstractDialecticalFramework adf)

Description copied from interface: InterpretationProcessor

Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors. If the given state is isolated or shared by the other processors depends on the configuration of the Pipeline and hence by the user.

Necessary updates on the shared state have to be performed in the InterpretationProcessor.updateState(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) method, which is called by the pipeline after the processing is done.

Specified by:

process in interface InterpretationProcessor

Parameters:

processingState - a potentially isolated state or the shared one

verificationState - the state which can be used for verification steps

mapping - the shared encoding context

interpretation - the result of the previous processor

adf - the corresponding adf

Returns:

an interpretation

updateState

public void updateState(SatSolverState state,
                        PropositionalMapping mapping,
                        Interpretation maximal,
                        AbstractDialecticalFramework adf)

Description copied from interface: InterpretationProcessor

This method is called by the Pipeline on the shared state and the result of the process method, hence after the processing is done.

Note that if this processor has to update the shared state, it has to happen in this method. Since process may only have access to an isolated state to perform its processing.

Specified by:

updateState in interface InterpretationProcessor

Parameters:

state - the shared state

mapping - the shared encoding context

maximal - the result of the process method

adf - the corresponding adf