Searched refs:compute_leaders (Results 1 – 6 of 6) sorted by relevance
2127 void compute_leaders(std::vector<dimension_type>& successor,2136 void compute_leaders(std::vector<dimension_type>& leaders) const;
2327 void compute_leaders(std::vector<dimension_type>& leaders) const;
1035 compute_leaders(leaders); in affine_dimension()1074 compute_leaders(leaders); in minimized_congruences()2957 ::compute_leaders(std::vector<dimension_type>& leaders) const { in compute_leaders() function in Parma_Polyhedra_Library::Octagonal_Shape2991 ::compute_leaders(std::vector<dimension_type>& successor, in compute_leaders() function in Parma_Polyhedra_Library::Octagonal_Shape3079 compute_leaders(successor, no_sing_leaders, exist_sing_class, sing_leader); in non_redundant_matrix_entries()3405 x.compute_leaders(x_leaders); in simplify_using_context_assign()
387 compute_leaders(leaders); in minimized_congruences()997 BD_Shape<T>::compute_leaders(std::vector<dimension_type>& leaders) const { in compute_leaders() function in Parma_Polyhedra_Library::BD_Shape2655 x.compute_leaders(x_leaders); in simplify_using_context_assign()6512 compute_leaders(leaders); in minimized_constraints()
65073 void compute_leaders(std::vector<dimension_type>& leaders) const;69400 void compute_leaders(std::vector<dimension_type>& successor,69409 void compute_leaders(std::vector<dimension_type>& leaders) const;72089 compute_leaders(leaders);72128 compute_leaders(leaders);74011 ::compute_leaders(std::vector<dimension_type>& leaders) const {74045 ::compute_leaders(std::vector<dimension_type>& successor,74459 x.compute_leaders(x_leaders);80934 compute_leaders(leaders);83202 x.compute_leaders(x_leaders);[all …]
45378 function `Octagon::compute_leaders(leader)' that the above method45390 Octagon::compute_leaders().