/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_api2.c | 615 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 D | test_api3.c | 856 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 D | test_terms.c | 304 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 D | test_api5.c | 352 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 D | test_api4.c | 353 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 D | Makefile.src | 34 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 D | Makefile.src | 34 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 D | Makefile.src | 42 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 D | Makefile.src | 42 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 D | Makefile.src | 42 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 D | Makefile.src | 42 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 D | Makefile.src | 42 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 D | Makefile.src | 42 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 D | Makefile.src | 42 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 D | main.c | 385 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 D | ei_printterm.c | 54 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 D | ei_printterm.c | 50 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 D | ei_printterm.c | 50 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 D | ei_printterm.c | 50 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 D | ei_printterm.c | 50 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 D | ei_printterm.c | 50 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 D | ei_printterm.c | 54 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 D | example1c.c | 37 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 D | example1b.c | 34 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 D | example1.c | 32 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()
|