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.createCandidateProcessor(Supplier<SatSolverState> stateSupplier)
Semantics.createModelProcessors(Supplier<SatSolverState> stateSupplier)
-
Uses of InterpretationProcessor in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeClassDescriptionclass
Maximizes a given interpretation, but only counts those verified by the givenVerifier
as larger.class
Modifier and TypeMethodDescriptionstatic InterpretationProcessor
AdmissibleMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
ConflictFreeMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
AdmissibleMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, AbstractDialecticalFramework reduct, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor
ConflictFreeMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)