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 admissible interpretations as larger.

Author:

Mathias Hofer

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Details

restricted

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

Parameters:

stateSupplier - stateSupplier

adf - adf

mapping - mapping

prefix - prefix

Returns:

InterpretationProcessor restricted

unrestricted

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

Parameters:

stateSupplier - stateSupplier

adf - adf

mapping - mapping

Returns:

InterpretationProcessor unrestricted

process

public Interpretation process(Interpretation interpretation)

Specified by:

process in interface InterpretationProcessor

Parameters:

interpretation - interpretation

Returns:

Interpretation process

updateState

public void updateState(SatSolverState state,
 Interpretation maximal)

Specified by:

updateState in interface InterpretationProcessor

Parameters:

state - state

maximal - processed

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface InterpretationProcessor