Searched refs:PT_Assume (Results 1 – 1 of 1) sorted by relevance
96 enum PredicateType { PT_Branch, PT_Assume, PT_Switch }; enumerator120 return PB->Type == PT_Assume || PB->Type == PT_Branch || in classof()136 : PredicateWithCondition(PT_Assume, Op, Condition), in PredicateAssume()140 return PB->Type == PT_Assume; in classof()