31 INLINE
const std::vector< NodeId >*
bool isOrderNeeded() const noexcept
indicates whether a new complete ordering is needed
bool __order_needed
indicate whether a new complete ordering is necessary for the elimination
gum is the global namespace for all aGrUM entities
const std::vector< NodeId > * order() const noexcept
returns the current complete ordering
const std::vector< NodeId > * __order
the vector indicating in which order we should eliminate the nodes