Searched refs:nbAlt (Results 1 – 3 of 3) sorted by relevance
93 curBranch[curDepth].ptrId->var.nbAlt++; in backtrackFromSuccess()110 (*cur++).var.nbAlt = 1; in addVariable()173 (*cur++).var.nbAlt = 1; in addValue()181 if ((*cur).var.nbAlt < domSize[vId]) { in addValue()183 (*cur).var.nbAlt++; in addValue()186 (*cur).var.nbAlt = 1; in addValue()269 curBranch[curDepth].ptrId->var.nbAlt++; in backtrackFromSuccess()340 (*cur++).var.nbAlt = 1; in addVariable()441 (*cur++).var.nbAlt = 1; in addValue()451 (*cur).var.nbAlt++; in addValue()[all …]
75 unsigned int nbAlt = p->var.nbAlt; in print() local81 os << "v_" << vId << "(" << nbAlt << ")"<< std::endl; in print()82 for (unsigned int i=nbAlt; i--; ) { in print()103 cur->var.nbAlt = 1; in strategyInit()137 cur->var.nbAlt = 1; in strategyInit()168 unsigned int nbAlt = p->var.nbAlt; in print() local174 os << "v_" << vId << "(" << nbAlt << ")"<< std::endl; in print()175 for (unsigned int i=nbAlt; i--; ) { in print()
117 unsigned int nbAlt; // Number of explored boxes of the variable member