Class MaximizeInterpretationProcessor
- java.lang.Object
-
- net.sf.tweety.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)
-
-
-
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 thePipeline
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 interfaceInterpretationProcessor
- Parameters:
processingState
- a potentially isolated state or the shared oneverificationState
- the state which can be used for verification stepsmapping
- the shared encoding contextinterpretation
- the result of the previous processoradf
- 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 thePipeline
on the shared state and the result of theprocess
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 interfaceInterpretationProcessor
- Parameters:
state
- the shared statemapping
- the shared encoding contextmaximal
- the result of the process methodadf
- the corresponding adf
-
-