Searched refs:ppl_PIP_Problem_add_constraint (Results 1 – 15 of 15) sorted by relevance
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/ |
H A D | ppl_ocaml_globals.ml | 342 external ppl_PIP_Problem_add_constraint: 344 = "ppl_PIP_Problem_add_constraint"
|
H A D | ppl_ocaml_globals.mli | 302 val ppl_PIP_Problem_add_constraint: val
|
H A D | ppl_ocaml_common.cc | 1261 ppl_PIP_Problem_add_constraint(value caml_pip, in ppl_PIP_Problem_add_constraint() function
|
H A D | OCaml_interface.dox | 515 ppl_PIP_Problem_add_constraint handle constraint
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/ |
H A D | xsb_pl_check.P | 168 ppl_PIP_Problem_add_constraint/2,
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
H A D | ppl_interface_generator_prolog_procedure_generators.m4 | 99 ppl_PIP_Problem_add_constraint/2,
|
H A D | ppl_prolog_common_defs.hh | 1005 ppl_PIP_Problem_add_constraint(Prolog_term_ref t_pip, Prolog_term_ref t_c);
|
H A D | Prolog_interface_sysindep.dox | 804 ppl_PIP_Problem_add_constraint(+Handle, +Constraint)
|
H A D | ppl_prolog_common.cc | 2710 ppl_PIP_Problem_add_constraint(Prolog_term_ref t_pip, Prolog_term_ref t_c) { in ppl_PIP_Problem_add_constraint() function
|
/dports/devel/ppl/ppl-1.2/interfaces/C/tests/ |
H A D | pip_test.c | 240 ppl_PIP_Problem_add_constraint(pip, ct); in main()
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
H A D | pl_check.pl | 2397 ppl_PIP_Problem_add_constraint(PIP, A + B =< 0), 2406 ppl_PIP_Problem_add_constraint(PIP, A >= 0), 2449 ppl_PIP_Problem_add_constraint(PIP1, C >= 6), 2452 ppl_PIP_Problem_add_constraint(PIP, B = 0),
|
/dports/devel/ppl/ppl-1.2/interfaces/C/ |
H A D | ppl_c_header.h | 2972 ppl_PIP_Problem_add_constraint PPL_PROTO((ppl_PIP_Problem_t pip,
|
H A D | ppl_c_implementation_common.cc | 2243 ppl_PIP_Problem_add_constraint(ppl_PIP_Problem_t pip, in ppl_PIP_Problem_add_constraint() function
|
H A D | ppl_c.h.dist | 3015 ppl_PIP_Problem_add_constraint PPL_PROTO((ppl_PIP_Problem_t pip,
|
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/tests/ |
H A D | test1.ml | 535 ppl_PIP_Problem_add_constraint pip2 constraint1;;
|