| 580 | |
| 581 | template<class View, class Val, class Degree, class StateIdx> |
| 582 | forceinline size_t |
| 583 | LayeredGraph<View,Val,Degree,StateIdx>::dispose(Space& home) { |
| 584 | c.dispose(home); |
| 585 | (void) Propagator::dispose(home); |
| 586 | return sizeof(*this); |
| 587 | } |
| 588 | |
| 589 | template<class View, class Val, class Degree, class StateIdx> |
| 590 | void |