Class AdmissibleMaximizer
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
- All Implemented Interfaces:
AutoCloseable
,InterpretationProcessor
Maximizes a given interpretation, but only counts admissible interpretations as larger.
- Author:
- Mathias Hofer
-
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
process
(Interpretation interpretation) static InterpretationProcessor
restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) void
updateState
(SatSolverState state, Interpretation maximal)
-
Method Details
-
restricted
public static InterpretationProcessor restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) - Parameters:
stateSupplier
- stateSupplieradf
- adfmapping
- mappingprefix
- prefix- Returns:
- InterpretationProcessor restricted
-
unrestricted
public static InterpretationProcessor unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) - Parameters:
stateSupplier
- stateSupplieradf
- adfmapping
- mapping- Returns:
- InterpretationProcessor unrestricted
-
process
- Specified by:
process
in interfaceInterpretationProcessor
- Parameters:
interpretation
- interpretation- Returns:
- Interpretation process
-
updateState
- Specified by:
updateState
in interfaceInterpretationProcessor
- Parameters:
state
- statemaximal
- processed
-
close
public void close()- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceInterpretationProcessor
-