Searched defs:getConstraintManager (Results 1 – 6 of 6) sorted by relevance
59 ConstraintManager &getConstraintManager() { in getConstraintManager() function
540 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function656 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
419 ConstraintManager &getConstraintManager() { in getConstraintManager() function
106 ConstraintManager &getConstraintManager() { in getConstraintManager() function
309 ConstraintManager& getConstraintManager() { in getConstraintManager() function
518 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function633 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function