Searched refs:hadSolveItem (Results 1 – 2 of 2) sorted by relevance
2872 bool hadSolveItem = false; in flatten() local2877 bool& hadSolveItem; in flatten() member in MiniZinc::flatten::FV2880 : env(env0), hadSolveItem(hadSolveItem0), timingMap(timingMap0) {} in flatten()2950 if (hadSolveItem) { in flatten()2954 hadSolveItem = true; in flatten()2979 } _fv(env, hadSolveItem, timingMap); in flatten()2982 if (!hadSolveItem) { in flatten()
2690 bool hadSolveItem; in typecheck() member in MiniZinc::typecheck::TSV02700 hadSolveItem(false), in typecheck()2729 if (hadSolveItem) { in typecheck()2732 hadSolveItem = true; in typecheck()