Searched defs:AssumeInst (Results 1 – 4 of 4) sorted by relevance
23 class AssumeInst; global() variable
119 : PredicateBase(PT_Assume, Op, Condition), AssumeInst(AssumeInst) {} in PredicateAssume() argument
29 class AssumeInst; variable
36 class AssumeInst; variable