Interface InterpretationProcessor
- All Superinterfaces:
AutoCloseable
- All Known Implementing Classes:
AdmissibleMaximizer
,ConflictFreeMaximizer
Performs further processing on interpretations, e.g. maximization.
- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
process(Interpretation interpretation)
void
updateState(SatSolverState state, Interpretation processed)
-
Method Details
-
process
-
updateState
-
close
void close()- Specified by:
close
in interfaceAutoCloseable
-