Home
last modified time | relevance | path

Searched refs:internal_space_dim (Results 1 – 10 of 10) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPIP_Problem.cc52 internal_space_dim(0), in PIP_Problem()
72 internal_space_dim(y.internal_space_dim), in PIP_Problem()
234 x.internal_space_dim = external_space_dim; in solve()
283 if (external_space_dim < internal_space_dim) { in OK()
375 s << "\ninternal_space_dim: " << internal_space_dim << "\n"; in ascii_dump()
467 if (!(s >> internal_space_dim)) { in PPL_OUTPUT_DEFINITIONS()
616 internal_space_dim = 0; in clear()
682 if (*p < internal_space_dim) { in add_to_parameter_space_dimensions()
756 if (big_dim < internal_space_dim) { in set_big_parameter_dimension()
H A DMIP_Problem_inlines.hh46 internal_space_dim(y.internal_space_dim), in MIP_Problem()
72 internal_space_dim(y.internal_space_dim), in MIP_Problem()
180 swap(internal_space_dim, y.internal_space_dim); in m_swap()
H A DPIP_Problem_inlines.hh58 swap(internal_space_dim, y.internal_space_dim); in m_swap()
H A DMIP_Problem_templates.hh38 internal_space_dim(0), in MIP_Problem()
121 internal_space_dim(0), in MIP_Problem()
H A DMIP_Problem.cc80 internal_space_dim(0), in MIP_Problem()
110 internal_space_dim(0), in MIP_Problem()
534 internal_space_dim, false); in parse_constraints()
703 for (dimension_type i = internal_space_dim; i-- > 0; ) { in process_pending_constraints()
721 if (external_space_dim > internal_space_dim) { in process_pending_constraints()
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()
2403 << internal_space_dim << " != " in OK()
2454 if (mapping.size() != internal_space_dim + 1) { in OK()
[all …]
H A DPIP_Problem_templates.hh36 internal_space_dim(0), in PIP_Problem()
H A DPIP_Problem_defs.hh770 dimension_type internal_space_dim; member in Parma_Polyhedra_Library::PIP_Problem
H A DMIP_Problem_defs.hh505 dimension_type internal_space_dim; member in Parma_Polyhedra_Library::MIP_Problem
H A DPIP_Tree.cc2420 = pip.internal_space_dim - old_num_vars; in update_tableau()
2422 = pip.external_space_dim - pip.internal_space_dim; in update_tableau()
H A Dppl.hh.dist52165 dimension_type internal_space_dim;
52362 On exit, it size is equal to \c internal_space_dim.
52657 internal_space_dim(y.internal_space_dim),
52683 internal_space_dim(y.internal_space_dim),
52791 swap(internal_space_dim, y.internal_space_dim);
52953 internal_space_dim(0),
53036 internal_space_dim(0),
94752 dimension_type internal_space_dim;
94848 swap(internal_space_dim, y.internal_space_dim);
94901 internal_space_dim(0),