Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor

Packages that use InterpretationProcessor

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.execution
org.tweetyproject.arg.adf.reasoner.sat.processor

Uses of InterpretationProcessor in org.tweetyproject.arg.adf.reasoner.sat.execution

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return types with arguments of type InterpretationProcessor

Modifier and Type	Method	Description
List<InterpretationProcessor>	Semantics.createCandidateProcessor(Supplier<SatSolverState> stateSupplier)
List<InterpretationProcessor>	Semantics.createModelProcessors(Supplier<SatSolverState> stateSupplier)

Uses of InterpretationProcessor in org.tweetyproject.arg.adf.reasoner.sat.processor

Classes in org.tweetyproject.arg.adf.reasoner.sat.processor that implement InterpretationProcessor

Modifier and Type	Class	Description
class	AdmissibleMaximizer	Maximizes a given interpretation, but only counts those verified by the given Verifier as larger.
class	ConflictFreeMaximizer

Methods in org.tweetyproject.arg.adf.reasoner.sat.processor that return InterpretationProcessor

Modifier and Type	Method	Description
static 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)