Searched refs:_intVars (Results 1 – 3 of 3) sorted by relevance
243 _linkIdVars.push_back(LkBinderVarObj(qsi._intVars.size()+i,LkBinderVarObj::INT)); in add()312 _intVars.update(home, share, qs._intVars); in QSpaceInfo()345 _intVars = IntVarArray(dynamic_cast<Space&>(*this),_intVars+x); in updateQSpaceInfo()
216 const IntVar& x = qsi._intVars[_linkIdVars[i].id]; in scenarioSuccess()512 const IntVar& x = qsi._intVars[_linkIdVars[i].id]; in scenarioSuccess()
517 IntVarArray _intVars; member in Gecode::QSpaceInfo