Home
last modified time | relevance | path

Searched refs:print_term (Results 1 – 25 of 163) sorted by relevance

1234567

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_api2.c615 print_term(stdout, __yices_globals.terms, t); in test_app1()
638 print_term(stdout, __yices_globals.terms, t); in test_app2()
651 print_term(stdout, __yices_globals.terms, c); in test_ite()
658 print_term(stdout, __yices_globals.terms, t); in test_ite()
676 print_term(stdout, __yices_globals.terms, t); in test_eq()
694 print_term(stdout, __yices_globals.terms, t); in test_neq()
710 print_term(stdout, __yices_globals.terms, t); in test_distinct1()
731 print_term(stdout, __yices_globals.terms, t); in test_distinct2()
758 print_term(stdout, __yices_globals.terms, t); in test_distinct4()
774 print_term(stdout, __yices_globals.terms, t); in test_tuple1()
[all …]
H A Dtest_api3.c856 print_term(stdout, __yices_globals.terms, t); in test_binop()
874 print_term(stdout, __yices_globals.terms, t); in test_unop()
895 print_term(stdout, __yices_globals.terms, t); in test_pred()
914 print_term(stdout, __yices_globals.terms, t); in test_shift()
932 print_term(stdout, __yices_globals.terms, t); in test_extend()
954 print_term(stdout, __yices_globals.terms, t); in test_bvconcat()
973 print_term(stdout, __yices_globals.terms, t); in test_bvextract()
1020 print_term(stdout,__yices_globals.terms, t); in test_bvarray1()
1069 print_term(stdout,__yices_globals.terms, t); in test_bvarray2()
1085 print_term(stdout, __yices_globals.terms, c); in test_ite()
[all …]
H A Dtest_terms.c304 print_term(stdout, &terms, x); in test_constant_term()
330 print_term(stdout, &terms, x); in test_uninterpreted_term()
353 print_term(stdout, &terms, x); in test_variable()
382 print_term(stdout, &terms, x); in test_not()
431 print_term(stdout, &terms, x); in test_ite()
463 print_term(stdout, &terms, x); in test_app1()
498 print_term(stdout, &terms, x); in test_app2()
532 print_term(stdout, &terms, x); in test_update1()
569 print_term(stdout, &terms, x); in test_update2()
599 print_term(stdout, &terms, x); in test_tuple1()
[all …]
H A Dtest_api5.c352 print_term(stdout, __yices_globals.terms, t); in test_constant()
374 print_term(stdout, __yices_globals.terms, t); in test_constant_pair()
449 print_term(stdout, __yices_globals.terms, t1); in test_binop()
451 print_term(stdout, __yices_globals.terms, t2); in test_binop()
460 print_term(stdout, __yices_globals.terms, t); in test_binop()
480 print_term(stdout, __yices_globals.terms, t1); in test_unary_op()
484 print_term(stdout, __yices_globals.terms, t); in test_unary_op()
500 print_term(stdout, __yices_globals.terms, c); in test_ite()
507 print_term(stdout, __yices_globals.terms, t); in test_ite()
524 print_term(stdout, __yices_globals.terms, t1); in test_power()
[all …]
H A Dtest_api4.c353 print_term(stdout, __yices_globals.terms, t1); in test_binop()
355 print_term(stdout, __yices_globals.terms, t2); in test_binop()
358 print_term(stdout, __yices_globals.terms, t); in test_binop()
381 print_term(stdout, __yices_globals.terms, a[j]); in test_op()
386 print_term(stdout, __yices_globals.terms, t); in test_op()
403 print_term(stdout, __yices_globals.terms, c); in test_ite()
405 print_term(stdout, __yices_globals.terms, left); in test_ite()
407 print_term(stdout, __yices_globals.terms, right); in test_ite()
410 print_term(stdout, __yices_globals.terms, t); in test_ite()
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/erl_interface/test/erl_eterm_SUITE_data/
H A DMakefile.src34 PRINT_OBJS = print_term@obj@
35 EXE_FILES = eterm_test@exe@ print_term@exe@ cnode@exe@
45 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/erl_interface/test/erl_eterm_SUITE_data/
H A DMakefile.src34 PRINT_OBJS = print_term@obj@
35 EXE_FILES = eterm_test@exe@ print_term@exe@ cnode@exe@
45 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/lang/erlang/otp-OTP-24.1.7/lib/erl_interface/test/
H A DMakefile.src42 PROGS = eterm_test@exe@ format_test@exe@ print_term@exe@ match_test@exe@ ei_format_test@exe@ ei_pri…
71 print_term@exe@: print_term@obj@ $(LIBERL) $(LIBEI)
72 $(LD) @CROSSLDFLAGS@ -o print_term print_term@obj@ $(LIBFLGAS)
/dports/graphics/geeqie/geeqie-1.6/src/
H A Dmain.c385 print_term(FALSE, _("valid options are:\n")); in parse_command_line()
386 print_term(FALSE, _(" +t, --with-tools force show of tools\n")); in parse_command_line()
387 print_term(FALSE, _(" -t, --without-tools force hide of tools\n")); in parse_command_line()
389 print_term(FALSE, _(" -s, --slideshow start in slideshow mode\n")); in parse_command_line()
392 print_term(FALSE, _(" --geometry=XxY+XOFF+YOFF set main window location\n")); in parse_command_line()
397 print_term(FALSE, _(" --debug[=level] turn on debug output\n")); in parse_command_line()
398 print_term(FALSE, _(" -g:<regexp>, --grep:<regexp> filter debug output\n")); in parse_command_line()
400 print_term(FALSE, _(" +w, --show-log-window show log window\n")); in parse_command_line()
401 print_term(FALSE, _(" -o:<file>, --log-file:<file> save log data to file\n")); in parse_command_line()
402 print_term(FALSE, _(" -v, --version print version info\n")); in parse_command_line()
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/erl_interface/src/misc/
H A Dei_printterm.c54 static int print_term(FILE* fp, ei_x_buff* x,
115 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
187 r = print_term(fp, x, buf, &tindex); in print_term()
197 r = print_term(fp, x, buf, &tindex); in print_term()
222 r = print_term(fp, x, buf, &tindex); in print_term()
326 r = print_term(fp, x, buf, &tindex); in print_term()
330 r = print_term(fp, x, buf, &tindex); in print_term()
403 return print_term(fp, NULL, buf, index); in ei_print_term()
417 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/erl_interface/src/misc/
H A Dei_printterm.c50 static int print_term(FILE* fp, ei_x_buff* x,
160 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
232 r = print_term(fp, x, buf, &tindex); in print_term()
242 r = print_term(fp, x, buf, &tindex); in print_term()
267 r = print_term(fp, x, buf, &tindex); in print_term()
371 r = print_term(fp, x, buf, &tindex); in print_term()
375 r = print_term(fp, x, buf, &tindex); in print_term()
448 return print_term(fp, NULL, buf, index); in ei_print_term()
462 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/erl_interface/src/misc/
H A Dei_printterm.c50 static int print_term(FILE* fp, ei_x_buff* x,
160 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
232 r = print_term(fp, x, buf, &tindex); in print_term()
242 r = print_term(fp, x, buf, &tindex); in print_term()
267 r = print_term(fp, x, buf, &tindex); in print_term()
371 r = print_term(fp, x, buf, &tindex); in print_term()
375 r = print_term(fp, x, buf, &tindex); in print_term()
448 return print_term(fp, NULL, buf, index); in ei_print_term()
462 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/erl_interface/src/misc/
H A Dei_printterm.c50 static int print_term(FILE* fp, ei_x_buff* x,
160 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
232 r = print_term(fp, x, buf, &tindex); in print_term()
242 r = print_term(fp, x, buf, &tindex); in print_term()
267 r = print_term(fp, x, buf, &tindex); in print_term()
371 r = print_term(fp, x, buf, &tindex); in print_term()
375 r = print_term(fp, x, buf, &tindex); in print_term()
448 return print_term(fp, NULL, buf, index); in ei_print_term()
462 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/erl_interface/src/misc/
H A Dei_printterm.c50 static int print_term(FILE* fp, ei_x_buff* x,
160 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
232 r = print_term(fp, x, buf, &tindex); in print_term()
242 r = print_term(fp, x, buf, &tindex); in print_term()
267 r = print_term(fp, x, buf, &tindex); in print_term()
371 r = print_term(fp, x, buf, &tindex); in print_term()
375 r = print_term(fp, x, buf, &tindex); in print_term()
448 return print_term(fp, NULL, buf, index); in ei_print_term()
462 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/lang/erlang/otp-OTP-24.1.7/lib/erl_interface/src/misc/
H A Dei_printterm.c50 static int print_term(FILE* fp, ei_x_buff* x,
160 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
232 r = print_term(fp, x, buf, &tindex); in print_term()
242 r = print_term(fp, x, buf, &tindex); in print_term()
267 r = print_term(fp, x, buf, &tindex); in print_term()
371 r = print_term(fp, x, buf, &tindex); in print_term()
375 r = print_term(fp, x, buf, &tindex); in print_term()
448 return print_term(fp, NULL, buf, index); in ei_print_term()
462 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/erl_interface/src/misc/
H A Dei_printterm.c54 static int print_term(FILE* fp, ei_x_buff* x,
115 static int print_term(FILE* fp, ei_x_buff* x, in print_term() function
185 r = print_term(fp, x, buf, &tindex); in print_term()
195 r = print_term(fp, x, buf, &tindex); in print_term()
220 r = print_term(fp, x, buf, &tindex); in print_term()
333 return print_term(fp, NULL, buf, index); in ei_print_term()
347 r = print_term(NULL, &x, buf, index); in ei_s_print_term()
/dports/math/yices/yices-2.6.2/examples/
H A Dexample1c.c37 static void print_term(term_t term) { in print_term() function
91 print_term(f); in simple_test()
93 print_term(f_var); in simple_test()
H A Dexample1b.c34 static void print_term(term_t term) { in print_term() function
97 print_term(f); in simple_test()
99 print_term(f_var); in simple_test()
H A Dexample1.c32 static void print_term(term_t term) { in print_term() function
86 print_term(f); in simple_test()
88 print_term(f_var); in simple_test()

1234567