reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
858 if (!State) 864 return State; 867 std::tie(StNonNil, StNil) = State->assume(*KnownCollection);