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

Class SatMaximizeInterpretationProcessor

java.lang.Object

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

All Implemented Interfaces:

InterpretationProcessor<SatReasonerContext>

public class SatMaximizeInterpretationProcessor
extends java.lang.Object
implements InterpretationProcessor<SatReasonerContext>

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

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private static SatEncoding	LARGER_INTERPRETATION
private static SatEncoding	REFINE_LARGER
private static SatEncoding	REFINE_UNEQUAL
private Verifier<SatReasonerContext>	verifier

Constructor Summary

Constructors

Constructor	Description
SatMaximizeInterpretationProcessor()
SatMaximizeInterpretationProcessor(Verifier<SatReasonerContext> verifier)

Method Summary

Modifier and Type	Method	Description
Interpretation	process(SatReasonerContext context, 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(SatReasonerContext context, 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

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

Field Detail

LARGER_INTERPRETATION

private static final SatEncoding LARGER_INTERPRETATION

REFINE_LARGER

private static final SatEncoding REFINE_LARGER

REFINE_UNEQUAL

private static final SatEncoding REFINE_UNEQUAL

verifier

private Verifier<SatReasonerContext> verifier

Constructor Detail

SatMaximizeInterpretationProcessor

public SatMaximizeInterpretationProcessor()

SatMaximizeInterpretationProcessor

public SatMaximizeInterpretationProcessor(Verifier<SatReasonerContext> verifier)

Parameters:

verifier -

Method Detail

process

public Interpretation process(SatReasonerContext context,
                              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 updateState method, which is called by the pipeline after the processing is done.

Specified by:

process in interface InterpretationProcessor<SatReasonerContext>

Parameters:

context - a potentially isolated state or the shared one

interpretation - the result of the previous processor

adf - the corresponding adf

Returns:

an interpretation

updateState

public void updateState(SatReasonerContext context,
                        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<SatReasonerContext>

Parameters:

context - the shared state

maximal - the result of the process method

adf - the corresponding adf