List of admitABetterSolution() Examples

Examples of admitABetterSolution()

org.sat4j.specs.IOptimizationProblem.admitABetterSolution()
Look for a solution of the optimization problem. @return true if a better solution than current one can be found. @throws TimeoutException if the solver cannot answer in reasonable time. @see ISolver#setTimeout(int)

Examples of org.sat4j.specs.IOptimizationProblem.admitABetterSolution()

          solver.setTimeoutMs(deadline - System.currentTimeMillis());
        }
        long stepref = System.nanoTime();
        while (System.currentTimeMillis() < deadline
            && !Thread.currentThread().isInterrupted()
            && op.admitABetterSolution()) {
          model = solver.model();
          GraphColoring<V, E> coloring = this.getColoring(colors,
              vertices, numberOfVertices, model);
          long now = System.nanoTime();
          LOGGER.debug(

View Full Code Here

Examples of org.sat4j.specs.IOptimizationProblem.admitABetterSolution()

        boolean isSatisfiable = false;


        IOptimizationProblem optproblem = (IOptimizationProblem) problem;


        try {
            while (optproblem.admitABetterSolution()) {
                if (!isSatisfiable) {
                    if (optproblem.nonOptimalMeansSatisfiable()) {
                        setExitCode(ExitCode.SATISFIABLE);
                        if (optproblem.hasNoObjectiveFunction()) {
                            return;

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.