Interface InterpretationProcessor

  • All Known Implementing Classes:

    public interface InterpretationProcessor
    Performs further processing on interpretations, e.g. maximization.

    Note that sometimes it is necessary for processors to work on isolated states. Just consider a sat based maximization processor, which has to generate clauses to compute larger interpretations until we reach a maximum. Usually we do not want to pollute the shared state with these generated clauses, because it may cut off other solutions. In such cases we can tell the Pipeline to create a new state on which we perform the processing and which is only used by this processor.

    As a consequence the implementation of the process process} method must not rely on the fact that its state updates are seen by subsequent processors. Final updates on the shared state must therefore be performed in the updateState(SatSolverState, PropositionalMapping, Interpretation, AbstractDialecticalFramework) method, which is guaranteed to get the shared state.

    Mathias Hofer
    • Method Detail

      • updateState

        void updateState​(SatSolverState state,
                         PropositionalMapping mapping,
                         Interpretation processed,
                         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.

        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.

        state - the shared state
        mapping - the shared encoding context
        processed - the result of the process method
        adf - the corresponding adf