Searched defs:updTimeCache (Results 1 – 2 of 2) sorted by relevance
1036 SBTimeCache& updTimeCache(const State& s) const { //mutable in updTimeCache() function
1530 SBTimeCache& updTimeCache() const { in updTimeCache() function