reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
47 if (NotifyAssumeClients && SU) 48 return SU->processAssume(State, Cond, Assumption);