Lines Matching defs:isSymbol

235     (void)insert(value, dim, /*isSymbol=*/true, /*addToWorklist=*/false);
246   return getPosExpr(insert(value, dim, /*isSymbol=*/true));
263                                          bool isSymbol, bool addToWorklist) {
270   int64_t pos = isSymbol ? cstr.appendVar(VarKind::Symbol)
292 int64_t ValueBoundsConstraintSet::insert(bool isSymbol) {
293   int64_t pos = isSymbol ? cstr.appendVar(VarKind::Symbol)
306                                          bool isSymbol) {
308   int64_t pos = insert(isSymbol);
327 int64_t ValueBoundsConstraintSet::insert(const Variable &var, bool isSymbol) {
328   return insert(var.map, var.mapOperands, isSymbol);
475   int64_t pos = cstr.insert(var, /*isSymbol=*/false);
669   int64_t pos = insert(map, operands, /*isSymbol=*/false);