Home
last modified time | relevance | path

Searched refs:con_to_gen (Results 1 – 4 of 4) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_minimize_templates.hh71 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 DPolyhedron_defs.hh2555 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 Dppl.hh.dist49943 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 DChangeLog_2001-200886199 * 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'