Examples of kodkod.engine.satlab.SATSolver.valueOf()

kodkod.engine.satlab.SATSolver.valueOf()
Returns the boolean value assigned to the given variable by the last successful call to {@link #solve()}. @requires {@link #solve() } has been called and the outcome of the last call was true. @return the boolean value assigned to the given variable by thelast successful call to {@link #solve()}. @throws IllegalArgumentException - variable !in this.variables @throws IllegalStateException - {@link #solve() } has not been called or the outcome of the last call was not true.

          final Solution sol = Solution.satisfiable(stats, padInstance(translation.interpret(), bounds));
          // add the negation of the current model to the solver
          final int primary = translation.numPrimaryVariables();
          final int[] notModel = new int[primary];
          for(int i = 1; i <= primary; i++) {
            notModel[i-1] = cnf.valueOf(i) ? -i : i;
          }
          cnf.addClause(notModel);
          return sol;
        } else {
          formula = null; bounds = null; // unsat, no more solutions, free up some space

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.