Home
last modified time | relevance | path

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 Dppl_ocaml_globals.ml342 external ppl_PIP_Problem_add_constraint:
344 = "ppl_PIP_Problem_add_constraint"
H A Dppl_ocaml_globals.mli302 val ppl_PIP_Problem_add_constraint: val
H A Dppl_ocaml_common.cc1261 ppl_PIP_Problem_add_constraint(value caml_pip, in ppl_PIP_Problem_add_constraint() function
H A DOCaml_interface.dox515 ppl_PIP_Problem_add_constraint handle constraint
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/
H A Dxsb_pl_check.P168 ppl_PIP_Problem_add_constraint/2,
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_interface_generator_prolog_procedure_generators.m499 ppl_PIP_Problem_add_constraint/2,
H A Dppl_prolog_common_defs.hh1005 ppl_PIP_Problem_add_constraint(Prolog_term_ref t_pip, Prolog_term_ref t_c);
H A DProlog_interface_sysindep.dox804 ppl_PIP_Problem_add_constraint(+Handle, +Constraint)
H A Dppl_prolog_common.cc2710 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 Dpip_test.c240 ppl_PIP_Problem_add_constraint(pip, ct); in main()
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/
H A Dpl_check.pl2397 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 Dppl_c_header.h2972 ppl_PIP_Problem_add_constraint PPL_PROTO((ppl_PIP_Problem_t pip,
H A Dppl_c_implementation_common.cc2243 ppl_PIP_Problem_add_constraint(ppl_PIP_Problem_t pip, in ppl_PIP_Problem_add_constraint() function
H A Dppl_c.h.dist3015 ppl_PIP_Problem_add_constraint PPL_PROTO((ppl_PIP_Problem_t pip,
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/tests/
H A Dtest1.ml535 ppl_PIP_Problem_add_constraint pip2 constraint1;;