Class ConflictFreeMaximizer
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
- All Implemented Interfaces:
AutoCloseable
,InterpretationProcessor
- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
process(Interpretation interpretation)
void
updateState(SatSolverState state, Interpretation maximal)
static InterpretationProcessor
withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
-
Method Details
-
withPrefix
public static InterpretationProcessor withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) -
withoutPrefix
public static InterpretationProcessor withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) -
process
- Specified by:
process
in interfaceInterpretationProcessor
-
updateState
- Specified by:
updateState
in interfaceInterpretationProcessor
-
close
public void close()- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceInterpretationProcessor
-