Home
last modified time | relevance | path

Searched refs:integer_space_dimensions (Results 1 – 11 of 11) sorted by path

/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200837438 Variables_Set& integer_space_dimensions() const'.
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_c_implementation_common.cc1888 *m = mmip.integer_space_dimensions().size(); in ppl_MIP_Problem_number_of_integer_space_dimensions()
1896 const Variables_Set& vars = to_const(mip)->integer_space_dimensions(); in ppl_MIP_Problem_integer_space_dimensions()
/dports/devel/ppl/ppl-1.2/interfaces/Java/jni/
H A Dppl_java_globals.cc884 return build_java_variables_set(env, mip->integer_space_dimensions()); in Java_parma_1polyhedra_1library_MIP_1Problem_integer_1space_1dimensions()
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DMIP_Problem.java134 public native Variables_Set integer_space_dimensions(); in integer_space_dimensions() method in MIP_Problem
/dports/devel/ppl/ppl-1.2/interfaces/Java/tests/
H A DMIP_Problem_test1.java144 Variables_Set var_set = mip1.integer_space_dimensions(); in test02()
147 Variables_Set var_set1 = mip1.integer_space_dimensions(); in test02()
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/
H A Dppl_ocaml_common.cc876 const Variables_Set& ppl_ivars = ppl_mip.integer_space_dimensions(); in ppl_MIP_Problem_integer_space_dimensions()
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_prolog_common.cc2121 const Variables_Set& i_vars = mip->integer_space_dimensions(); in ppl_MIP_Problem_integer_space_dimensions()
/dports/devel/ppl/ppl-1.2/src/
H A DMIP_Problem.cc342 PPL_ASSERT(lp_copy.integer_space_dimensions().empty()); in solve()
2223 PPL_ASSERT(mip.integer_space_dimensions().empty()); in is_mip_satisfiable()
2900 s << "\nInteger variables: " << mip.integer_space_dimensions(); in operator <<()
H A DMIP_Problem_defs.hh233 const Variables_Set& integer_space_dimensions() const;
H A DMIP_Problem_inlines.hh160 MIP_Problem::integer_space_dimensions() const { in integer_space_dimensions() function in Parma_Polyhedra_Library::MIP_Problem
H A Dppl.hh.dist51893 const Variables_Set& integer_space_dimensions() const;
52771 MIP_Problem::integer_space_dimensions() const {