org.sat4j.specs
Interface IOptimizationProblem
- All Superinterfaces:
- IProblem
- All Known Implementing Classes:
- MaxSatDecorator, MinCostDecorator, MinOneDecorator, PseudoOptDecorator, WeightedMaxSatDecorator
public interface IOptimizationProblem
- extends IProblem
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
Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.