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

Class ConflictFreeMaximizer

java.lang.Object

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

All Implemented Interfaces:

AutoCloseable, InterpretationProcessor

public abstract class ConflictFreeMaximizer
extends Object
implements InterpretationProcessor

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
void	close()
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, PropositionalMapping mapping, Interpretation prefix)

Methods inherited from class java.lang.Object

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

Method Details

withPrefix

public static InterpretationProcessor withPrefix(Supplier<SatSolverState> stateSupplier,
 AbstractDialecticalFramework adf,
 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

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface InterpretationProcessor