38 INLINE
const List< NodeSet >*
Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.
const List< NodeSet > * _subsets
the subsets constituting the partial ordering
bool isPartialOrderNeeded() const noexcept
indicates if a new partial ordering is needed
const List< NodeSet > * partialOrder() const noexcept
returns the current partial ordering
bool _partial_order_needed
indicate whether a new partial ordering is necessary for the elimination