Home
last modified time | relevance | path

Searched refs:bounded_BHRZ03_extrapolation_assign (Results 1 – 6 of 6) sorted by path

/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200867304 Polyhedron::bounded_BHRZ03_extrapolation_assign() and
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java1021 void bounded_BHRZ03_extrapolation_assign(Polyhedron y, in bounded_BHRZ03_extrapolation_assign() method in Polyhedron
/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_defs.hh1721 void bounded_BHRZ03_extrapolation_assign(const Polyhedron& y,
H A DPolyhedron_widenings.cc928 ::bounded_BHRZ03_extrapolation_assign(const Polyhedron& y, in bounded_BHRZ03_extrapolation_assign() function in PPL::Polyhedron
H A Dppl.hh.dist48948 void bounded_BHRZ03_extrapolation_assign(const Polyhedron& y,
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dboundedbhrz03extrapolation1.cc135 P2.bounded_BHRZ03_extrapolation_assign(P1, cs); in test02()