Home
last modified time | relevance | path

Searched refs:set_is_parameter_or_point (Results 1 – 6 of 6) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DGrid_Generator.cc221 set_is_parameter_or_point(); in PPL_OUTPUT_DEFINITIONS()
234 set_is_parameter_or_point(); in set_is_parameter()
H A DGrid_Generator_defs.hh597 void set_is_parameter_or_point();
H A DGrid_Generator_inlines.hh264 Grid_Generator::set_is_parameter_or_point() { in set_is_parameter_or_point() function in Parma_Polyhedra_Library::Grid_Generator
H A DGrid_conversion.cc401 g.set_is_parameter_or_point(); in conversion()
H A Dppl.hh.dist34238 void set_is_parameter_or_point();
34677 Grid_Generator::set_is_parameter_or_point() {
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200849326 Grid_Generator::set_is_parameter_or_point. Rename