org.sat4j
Class AbstractOptimizationLauncher

java.lang.Object
  extended by org.sat4j.AbstractLauncher
      extended by org.sat4j.AbstractOptimizationLauncher
All Implemented Interfaces:
java.io.Serializable

public abstract class AbstractOptimizationLauncher
extends AbstractLauncher

This class is intended to be used by launchers to solve optimization problems, i.e. problems for which a loop is needed to find the optimal solution.

Author:
leberre
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.AbstractLauncher
ANSWER_PREFIX, COMMENT_PREFIX, reader, shutdownHook, SOLUTION_PREFIX, solver
 
Constructor Summary
AbstractOptimizationLauncher()
           
 
Method Summary
protected  void displayAnswer()
           
protected  void displayResult()
           
protected  void solve(IProblem problem)
           
 
Methods inherited from class org.sat4j.AbstractLauncher
configureSolver, createReader, displayHeader, displayLicense, getBeginTime, getExitCode, getInstanceName, getLogWriter, getReader, log, readProblem, run, setExitCode, setLogWriter, setSilent, showAvailableSolvers, usage
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractOptimizationLauncher

public AbstractOptimizationLauncher()
Method Detail

displayResult

protected void displayResult()
Overrides:
displayResult in class AbstractLauncher

displayAnswer

protected void displayAnswer()

solve

protected void solve(IProblem problem)
              throws TimeoutException
Overrides:
solve in class AbstractLauncher
Throws:
TimeoutException


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.