Home
last modified time | relevance | path

Searched refs:ppl_new_PIP_Problem_from_space_dimension (Results 1 – 13 of 13) sorted by relevance

/dports/devel/ppl/ppl-1.2/interfaces/OCaml/
H A Dppl_ocaml_globals.ml318 external ppl_new_PIP_Problem_from_space_dimension:
319 int -> pip_problem = "ppl_new_PIP_Problem_from_space_dimension"
H A Dppl_ocaml_globals.mli281 val ppl_new_PIP_Problem_from_space_dimension: val
H A Dppl_ocaml_common.cc1161 ppl_new_PIP_Problem_from_space_dimension(value d) try { in ppl_new_PIP_Problem_from_space_dimension() function
H A DOCaml_interface.dox445 ppl_new_PIP_Problem_from_space_dimension dimension
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/
H A Dxsb_pl_check.P157 ppl_new_PIP_Problem_from_space_dimension/2,
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_interface_generator_prolog_procedure_generators.m488 ppl_new_PIP_Problem_from_space_dimension/2,
H A Dppl_prolog_common_defs.hh957 ppl_new_PIP_Problem_from_space_dimension(Prolog_term_ref t_nd,
H A DProlog_interface_sysindep.dox713 ppl_new_PIP_Problem_from_space_dimension(+Dimension_Type, -Handle)
H A Dppl_prolog_common.cc2495 ppl_new_PIP_Problem_from_space_dimension in ppl_new_PIP_Problem_from_space_dimension() function
/dports/devel/ppl/ppl-1.2/interfaces/C/tests/
H A Dpip_test.c223 ppl_new_PIP_Problem_from_space_dimension(&pip, N_VARS+N_PARAMETERS); in main()
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_c_header.h2796 ppl_new_PIP_Problem_from_space_dimension PPL_PROTO((ppl_PIP_Problem_t* ppip,
H A Dppl_c_implementation_common.cc2111 ppl_new_PIP_Problem_from_space_dimension(ppl_PIP_Problem_t* ppip, in ppl_new_PIP_Problem_from_space_dimension() function
H A Dppl_c.h.dist2839 ppl_new_PIP_Problem_from_space_dimension PPL_PROTO((ppl_PIP_Problem_t* ppip,