Searched refs:con_to_gen (Results 1 – 4 of 4) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Polyhedron_minimize_templates.hh | 71 Polyhedron::minimize(const bool con_to_gen, in minimize() argument 187 if (con_to_gen) { in minimize() 267 Polyhedron::add_and_minimize(const bool con_to_gen, in add_and_minimize() argument 331 return add_and_minimize(con_to_gen, source1, dest, sat); in add_and_minimize() 372 Polyhedron::add_and_minimize(const bool con_to_gen, in add_and_minimize() argument 421 if (con_to_gen) { in add_and_minimize()
|
H A D | Polyhedron_defs.hh | 2555 static bool minimize(bool con_to_gen, 2567 static bool add_and_minimize(bool con_to_gen, 2579 static bool add_and_minimize(bool con_to_gen,
|
H A D | ppl.hh.dist | 49943 static bool minimize(bool con_to_gen, 49955 static bool add_and_minimize(bool con_to_gen, 49967 static bool add_and_minimize(bool con_to_gen, 55058 \param con_to_gen 55091 Polyhedron::minimize(const bool con_to_gen, 55207 if (con_to_gen) { 55244 \param con_to_gen 55287 Polyhedron::add_and_minimize(const bool con_to_gen, 55359 \param con_to_gen 55392 Polyhedron::add_and_minimize(const bool con_to_gen, [all …]
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 86199 * src/minimize.cc (alt_nnc.1): When con_to_gen is false, no longer 91903 con_to_ray renamed into con_to_gen. 92621 case !con_to_gen now we use conversion(). 92632 !con_to_gen. In functions minimize() and add_and_minimize(), in 92633 the case !con_to_gen, there was an error when we choose the 92644 must simplify `dest' in the case !con_to_gen because it can 92650 In function add_and_minimize and in the case of !con_to_gen, the 92675 the case !con_to_gen we must call simplify() also for the `dest'
|