Home
last modified time | relevance | path

Searched refs:p_timeout_object (Results 1 – 6 of 6) sorted by relevance

/dports/devel/ppl/ppl-1.2/interfaces/OCaml/
H A Dppl_ocaml_common.cc32 Parma_Polyhedra_Library::Watchdog* p_timeout_object = 0; variable
42 if (p_timeout_object) { in reset_timeout()
43 delete p_timeout_object; in reset_timeout()
44 p_timeout_object = 0; in reset_timeout()
1775 p_timeout_object = new Watchdog(cpp_time, abandon_expensive_computations, e); in ppl_set_timeout()
/dports/devel/ppl/ppl-1.2/interfaces/Java/jni/
H A Dppl_java_common.cc315 Parma_Polyhedra_Library::Watchdog* p_timeout_object = 0; variable
321 if (p_timeout_object) { in reset_timeout()
322 delete p_timeout_object; in reset_timeout()
323 p_timeout_object = 0; in reset_timeout()
H A Dppl_java_common_defs.hh143 extern Parma_Polyhedra_Library::Watchdog* p_timeout_object;
H A Dppl_java_globals.cc810 p_timeout_object in Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1timeout()
/dports/devel/ppl/ppl-1.2/interfaces/C/
H A Dppl_c_implementation_common.cc97 Parma_Polyhedra_Library::Watchdog* p_timeout_object = 0; variable
107 if (p_timeout_object != 0) { in reset_timeout()
108 delete p_timeout_object; in reset_timeout()
109 p_timeout_object = 0; in reset_timeout()
249 p_timeout_object = new Watchdog(csecs, abandon_expensive_computations, e); in ppl_set_timeout()
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/
H A Dppl_prolog_common.cc828 Parma_Polyhedra_Library::Watchdog* p_timeout_object = 0; variable
838 if (p_timeout_object) { in reset_timeout()
839 delete p_timeout_object; in reset_timeout()
840 p_timeout_object = 0; in reset_timeout()
858 assert(p_timeout_object); in handle_exception()
1900 p_timeout_object = in ppl_set_timeout()