Searched refs:addLitVar (Results 1 – 2 of 2) sorted by relevance
215 virtual VarId addLitVar(double v) { in addLitVar() function in MIPWrapper
99 return _mipWrapper->addLitVar(exprToConst(arg)); in exprToVar()