| 182 | } |
| 183 | template<class View, class Val, class Degree, class StateIdx> |
| 184 | forceinline void |
| 185 | LayeredGraph<View,Val,Degree,StateIdx>::IndexRange::add(int i) { |
| 186 | _fst=std::min(_fst,i); _lst=std::max(_lst,i); |
| 187 | } |
| 188 | template<class View, class Val, class Degree, class StateIdx> |
| 189 | forceinline void |
| 190 | LayeredGraph<View,Val,Degree,StateIdx>::IndexRange::add |