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

Class AdmissibleMaximizer

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer

All Implemented Interfaces:

AutoCloseable, InterpretationProcessor

public abstract class AdmissibleMaximizer
extends Object
implements InterpretationProcessor

Maximizes a given interpretation, but only counts those verified by the given Verifier as larger.

Consider the preferred semantics, where the verifier is used to ensure that the maximum is admissible.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
Interpretation	process(Interpretation interpretation)
void	updateState(SatSolverState state, Interpretation maximal)
static InterpretationProcessor	withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor	withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, AbstractDialecticalFramework reduct, PropositionalMapping mapping, Interpretation prefix)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor

close

Method Details

withPrefix

public static InterpretationProcessor withPrefix(Supplier<SatSolverState> stateSupplier,
 AbstractDialecticalFramework adf,
 AbstractDialecticalFramework reduct,
 PropositionalMapping mapping,
 Interpretation prefix)

withoutPrefix

public static InterpretationProcessor withoutPrefix(Supplier<SatSolverState> stateSupplier,
 AbstractDialecticalFramework adf,
 PropositionalMapping mapping)

process

public Interpretation process(Interpretation interpretation)

Specified by:

process in interface InterpretationProcessor

updateState

public void updateState(SatSolverState state,
 Interpretation maximal)

Specified by:

updateState in interface InterpretationProcessor