compare(const Grid_Certificate &y) const | Parma_Polyhedra_Library::Grid_Certificate | |
compare(const Grid &gr) const | Parma_Polyhedra_Library::Grid_Certificate | |
Grid_Certificate() | Parma_Polyhedra_Library::Grid_Certificate | [inline] |
Grid_Certificate(const Grid &gr) | Parma_Polyhedra_Library::Grid_Certificate | |
Grid_Certificate(const Grid_Certificate &y) | Parma_Polyhedra_Library::Grid_Certificate | [inline] |
is_stabilizing(const Grid &gr) const | Parma_Polyhedra_Library::Grid_Certificate | [inline] |
num_equalities | Parma_Polyhedra_Library::Grid_Certificate | [private] |
num_proper_congruences | Parma_Polyhedra_Library::Grid_Certificate | [private] |
OK() const | Parma_Polyhedra_Library::Grid_Certificate | |
~Grid_Certificate() | Parma_Polyhedra_Library::Grid_Certificate | [inline] |