Searched refs:flowConditionImplies (Results 1 – 3 of 3) sorted by relevance
168 bool flowConditionImplies(Atom Token, const Formula &F);
175 bool DataflowAnalysisContext::flowConditionImplies(Atom Token, in flowConditionImplies() function in clang::dataflow::DataflowAnalysisContext
1004 return DACtx->flowConditionImplies(FlowConditionToken, F); in proves()