Home
last modified time | relevance | path

Searched refs:external_space_dim (Results 1 – 11 of 11) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPIP_Problem.cc51 : external_space_dim(dim), in PIP_Problem()
71 : external_space_dim(y.external_space_dim), in PIP_Problem()
146 PPL_ASSERT(external_space_dim >= c_space_dim); in solve()
234 x.internal_space_dim = external_space_dim; in solve()
283 if (external_space_dim < internal_space_dim) { in OK()
459 if (!(s >> external_space_dim)) { in PPL_OUTPUT_DEFINITIONS()
615 external_space_dim = 0; in clear()
655 external_space_dim += m_vars; in add_space_dimensions_and_embed()
658 parameters.insert(Variable(external_space_dim)); in add_space_dimensions_and_embed()
659 ++external_space_dim; in add_space_dimensions_and_embed()
[all …]
H A DMIP_Problem_inlines.hh39 return external_space_dim; in space_dimension()
45 : external_space_dim(y.external_space_dim), in MIP_Problem()
71 : external_space_dim(y.external_space_dim), in MIP_Problem()
179 swap(external_space_dim, y.external_space_dim); in m_swap()
H A DPIP_Problem_templates.hh35 : external_space_dim(dim), in PIP_Problem()
46 if (p_vars.space_dimension() > external_space_dim) { in PIP_Problem()
49 << "dim == " << external_space_dim in PIP_Problem()
H A DMIP_Problem_templates.hh37 : external_space_dim(dim), in MIP_Problem()
55 if (i_variables.space_dimension() > external_space_dim) { in MIP_Problem()
59 << "dim == "<< external_space_dim << " and int_vars.space_dimension() ==" in MIP_Problem()
120 : external_space_dim(dim), in MIP_Problem()
H A DPIP_Problem_inlines.hh31 return external_space_dim; in space_dimension()
57 swap(external_space_dim, y.external_space_dim); in m_swap()
H A DMIP_Problem.cc79 : external_space_dim(dim), in MIP_Problem()
109 : external_space_dim(dim), in MIP_Problem()
383 external_space_dim += m; in add_space_dimensions_and_embed()
721 if (external_space_dim > internal_space_dim) { in process_pending_constraints()
1762 if (external_space_dim == 0) { in compute_generator()
1841 PPL_ASSERT(external_space_dim > 0); in compute_generator()
2004 x.internal_space_dim = x.external_space_dim; in is_lp_satisfiable()
2361 if (external_space_dim < internal_space_dim) { in OK()
2371 if (external_space_dim > internal_space_dim in OK()
2388 << external_space_dim << " < " in OK()
[all …]
H A DPIP_Tree_defs.hh189 dimension_type external_space_dim,
647 dimension_type external_space_dim,
799 dimension_type external_space_dim,
H A DPIP_Problem_defs.hh764 dimension_type external_space_dim; member in Parma_Polyhedra_Library::PIP_Problem
H A DMIP_Problem_defs.hh499 dimension_type external_space_dim; member in Parma_Polyhedra_Library::MIP_Problem
H A DPIP_Tree.cc1376 const dimension_type external_space_dim, in update_tableau() argument
1382 external_space_dim, in update_tableau()
1388 external_space_dim, in update_tableau()
2407 const dimension_type external_space_dim, in update_tableau() argument
2422 = pip.external_space_dim - pip.internal_space_dim; in update_tableau()
2438 for (dimension_type i = initial_space_dim; i < external_space_dim; ++i) { in update_tableau()
H A Dppl.hh.dist52159 dimension_type external_space_dim;
52650 return external_space_dim;
52656 : external_space_dim(y.external_space_dim),
52682 : external_space_dim(y.external_space_dim),
52790 swap(external_space_dim, y.external_space_dim);
52952 : external_space_dim(dim),
53035 : external_space_dim(dim),
94821 return external_space_dim;
94847 swap(external_space_dim, y.external_space_dim);
94900 : external_space_dim(dim),
[all …]