reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1542 return N->getState()->isNull(Constraint).isUnderconstrained(); 1543 return (bool)N->getState()->assume(Constraint, !Assumption);