Searched defs:updTreePositionCache (Results 1 – 2 of 2) sorted by relevance
1047 SBTreePositionCache& updTreePositionCache(const State& s) const { //mutable in updTreePositionCache() function
1552 SBTreePositionCache& updTreePositionCache() const { in updTreePositionCache() function