Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor
Package
Description
-
Uses of InterpretationProcessor in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionSemantics.createUnverifiedProcessor
(Supplier<SatSolverState> stateSupplier) Is applied to interpretations before they are verified.Semantics.createVerifiedProcessor
(Supplier<SatSolverState> stateSupplier) Is applied to interpretations after they are verified. -
Uses of InterpretationProcessor in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeClassDescriptionclass
Maximizes a given interpretation, but only counts admissible interpretations as larger.class
Modifier and TypeMethodDescriptionstatic InterpretationProcessor
AdmissibleMaximizer.restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
ConflictFreeMaximizer.restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
AdmissibleMaximizer.unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) static InterpretationProcessor
ConflictFreeMaximizer.unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)