Searched refs:cloneAsPosteriorlyOverconstrained (Results 1 – 3 of 3) sorted by relevance
70 ProgramStateRef StInfeasible = State->cloneAsPosteriorlyOverconstrained(); in assumeDualImpl()
439 ProgramStateRef ProgramState::cloneAsPosteriorlyOverconstrained() const { in cloneAsPosteriorlyOverconstrained() function in ProgramState
123 ProgramStateRef cloneAsPosteriorlyOverconstrained() const;