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
Optional<InterpretationProcessor>	Semantics.createUnverifiedProcessor(Supplier<SatSolverState> stateSupplier)	Is applied to interpretations before they are verified.
Optional<InterpretationProcessor>	Semantics.createVerifiedProcessor(Supplier<SatSolverState> stateSupplier)	Is applied to interpretations after they are verified.

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 admissible interpretations as larger.
class	ConflictFreeMaximizer	The ConflictFreeMaximizer is an abstract class responsible for maximizing conflict-free interpretations in an abstract dialectical framework (ADF).

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

Modifier and Type	Method	Description
static 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)	Creates and returns a restricted InterpretationProcessor that maximizes interpretations based on a given partial interpretation (prefix).
static InterpretationProcessor	AdmissibleMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor	ConflictFreeMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Creates and returns an unrestricted InterpretationProcessor that maximizes interpretations without any restrictions on the partial interpretation.