org.sat4j.specs
Interface IOptimizationProblem

All Superinterfaces:

IProblem

All Known Implementing Classes:

MaxSatDecorator, MinOneDecorator, PseudoOptDecorator, WeightedMaxSatDecorator

public interface IOptimizationProblem
extends IProblem

Method Summary

boolean	admitABetterSolution()
java.lang.Number	calculateObjective()
void	discard()
boolean	hasNoObjectiveFunction()
boolean	nonOptimalMeansSatisfiable()

Methods inherited from interface org.sat4j.specs.IProblem

isSatisfiable, isSatisfiable, model, model, nConstraints, nVars

Method Detail

admitABetterSolution

boolean admitABetterSolution()
                             throws TimeoutException

Throws:

TimeoutException

hasNoObjectiveFunction

boolean hasNoObjectiveFunction()

nonOptimalMeansSatisfiable

boolean nonOptimalMeansSatisfiable()

calculateObjective

java.lang.Number calculateObjective()

discard

void discard()
             throws ContradictionException

Throws:

ContradictionException