Searched refs:PosteriorlyOverconstrained (Results 1 – 2 of 2) sorted by relevance
59 PosteriorlyOverconstrained(RHS.PosteriorlyOverconstrained), refCount(0) { in ProgramState()441 NewSt.PosteriorlyOverconstrained = true; in cloneAsPosteriorlyOverconstrained()
115 bool PosteriorlyOverconstrained = false; variable121 return PosteriorlyOverconstrained; in isPosteriorlyOverconstrained()177 ID.AddBoolean(V->PosteriorlyOverconstrained); in Profile()