Searched refs:compute_successors (Results 1 – 4 of 4) sorted by relevance
2121 void compute_successors(std::vector<dimension_type>& successor) const;
2923 ::compute_successors(std::vector<dimension_type>& successor) const { in compute_successors() function in Parma_Polyhedra_Library::Octagonal_Shape3078 compute_successors(successor); in non_redundant_matrix_entries()
69394 void compute_successors(std::vector<dimension_type>& successor) const;73977 ::compute_successors(std::vector<dimension_type>& successor) const {74132 compute_successors(successor);
45040 Renamed `compute_nexts()' with `compute_successors()'. Replaced