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);