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)	Processes the given interpretation.
static InterpretationProcessor	restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)	Creates a processor that maximizes interpretations above a fixed prefix.
static InterpretationProcessor	unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Creates a processor that maximizes interpretations without a prefix.
void	updateState(SatSolverState state, Interpretation maximal)	Updates the solver state after processing an interpretation.

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)

Creates a processor that maximizes interpretations above a fixed prefix.

Parameters:

stateSupplier - supplies fresh SAT solver states

adf - the ADF to maximize interpretations for

mapping - the propositional encoding of the ADF

prefix - the fixed prefix interpretation

Returns:

an interpretation processor restricted to the prefix

unrestricted

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

Creates a processor that maximizes interpretations without a prefix.

Parameters:

stateSupplier - supplies fresh SAT solver states

adf - the ADF to maximize interpretations for

mapping - the propositional encoding of the ADF

Returns:

an unrestricted interpretation processor

process

public Interpretation process(Interpretation interpretation)

Description copied from interface: InterpretationProcessor

Processes the given interpretation.

Specified by:

process in interface InterpretationProcessor

Parameters:

interpretation - the interpretation to process

Returns:

the processed interpretation

updateState

public void updateState(SatSolverState state,
 Interpretation maximal)

Description copied from interface: InterpretationProcessor

Updates the solver state after processing an interpretation.

Specified by:

updateState in interface InterpretationProcessor

Parameters:

state - the current SAT solver state

maximal - the processed interpretation

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface InterpretationProcessor