Package de.rwth.swc.coffee4j.engine.util

Class ChocoUtil

  • public final class ChocoUtil
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Optional<org.chocosolver.solver.variables.Variable> findVariable​(org.chocosolver.solver.Model model, int id)
      Searches for a variable with a given id as its name

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Method Detail

      • findVariable

        public static java.util.Optional<org.chocosolver.solver.variables.Variable> findVariable​(org.chocosolver.solver.Model model,
                                                                                         int id)
        Searches for a variable with a given id as its name
        Parameters:
        model - ChocoSolver model
        id - id that represents the name of the variable
        Returns:
        optional that contains the variable if found