List of nonOptimalMeansSatisfiable() Examples

Examples of nonOptimalMeansSatisfiable()

org.sat4j.specs.IOptimizationProblem.nonOptimalMeansSatisfiable()
A suboptimal solution has different meaning depending of the optimization problem considered. For instance, in the case of MAXSAT, a suboptimal solution does not mean that the problem is satisfiable, while in pseudo boolean optimization, it is true. @return true if founding a suboptimal solution means that the problem is satisfiable.

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

        IOptimizationProblem optproblem = (IOptimizationProblem) problem;


        try {
            while (optproblem.admitABetterSolution()) {
                if (!isSatisfiable) {
                    if (optproblem.nonOptimalMeansSatisfiable()) {
                        setExitCode(ExitCode.SATISFIABLE);
                        if (optproblem.hasNoObjectiveFunction()) {
                            return;
                        }
                        log("SATISFIABLE"); //$NON-NLS-1$

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.