reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
440 Cond = Term->getCondition(); 443 Cond = invert(Cond); 443 Cond = invert(Cond); 445 return Cond;