Searched defs:statemgr (Results 1 – 1 of 1) sorted by relevance
55 BasicConstraintManager(ProgramStateManager &statemgr, SubEngine &subengine) in BasicConstraintManager()120 ento::CreateBasicConstraintManager(ProgramStateManager& statemgr, in CreateBasicConstraintManager()