Package de.rwth.swc.coffee4j.algorithmic.util

Class ChocoUtil

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.util.ChocoUtil

public final class ChocoUtil
extends Object

Method Summary

Modifier and Type	Method	Description
static 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 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