Searched refs:getVarKindAt (Results 1 – 5 of 5) sorted by relevance
208 VarKind getVarKindAt(unsigned pos) const { return space.getVarKindAt(pos); }; in getVarKindAt() function
122 VarKind getVarKindAt(unsigned pos) const;
59 VarKind PresburgerSpace::getVarKindAt(unsigned pos) const { in getVarKindAt() function in PresburgerSpace
1796 VarKind idKindRemove = newSpace.getVarKindAt(pos); in fourierMotzkinEliminate()
1350 if (getVarKindAt(posA) == VarKind::Local && in swapVar()1351 getVarKindAt(posB) == VarKind::Local) in swapVar()1355 if (getVarKindAt(posA) == VarKind::Local) in swapVar()1357 else if (getVarKindAt(posB) == VarKind::Local) in swapVar()1404 if (getVarKindAt(pos) != VarKind::Local) in fourierMotzkinEliminate()