Searched refs:PL_WRT_NUMBERVARS (Results 1 – 8 of 8) sorted by relevance
/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-write.c | 1513 { if ( true(options, PL_WRT_NUMBERVARS|PL_WRT_VARNAMES) ) in writeTerm2() 1714 { if ( (options->flags&PL_WRT_NUMBERVARS) ) in reunify_acyclic_substitutions() 1966 if ( numbervars ) options.flags |= PL_WRT_NUMBERVARS; in pl_write_term3() 1981 local_varnames = (varnames && false(&options, PL_WRT_NUMBERVARS)); in pl_write_term3() 2079 { return do_write2(stream, term, PL_WRT_NUMBERVARS, FALSE); in pl_write2() 2084 { return do_write2(stream, term, PL_WRT_NUMBERVARS|PL_WRT_NEWLINE, FALSE); in pl_writeln2() 2089 { return do_write2(stream, term, PL_WRT_QUOTED|PL_WRT_NUMBERVARS, FALSE); in pl_writeq2() 2103 PL_WRT_PORTRAY|PL_WRT_NUMBERVARS|PL_WRT_QUOTED, FALSE); in pl_print2() 2125 PL_WRT_QUOTED|PL_WRT_IGNOREOPS|PL_WRT_NUMBERVARS| in pl_write_canonical2() 2156 { return do_write2(0, term, PL_WRT_NUMBERVARS|PL_WRT_NEWLINE, FALSE); in pl_writeln()
|
H A D | SWI-Prolog.h | 945 #define PL_WRT_NUMBERVARS 0x04 /* print $VAR(N) as a variable */ macro
|
H A D | pl-wic.c | 4051 PL_write_term(Serror, t, 1200, PL_WRT_NUMBERVARS); in compileFile()
|
/dports/lang/swi-pl/swipl-8.2.3/src/os/ |
H A D | pl-text.c | 328 wflags = PL_WRT_QUOTED|PL_WRT_NUMBERVARS; in PL_get_text__LD() 330 wflags = PL_WRT_QUOTED|PL_WRT_IGNOREOPS|PL_WRT_NUMBERVARS; in PL_get_text__LD() 332 wflags = PL_WRT_NUMBERVARS; in PL_get_text__LD()
|
/dports/lang/yap/yap-6.2.2/packages/PLStream/ |
H A D | pl-yap.c | 146 if (flags & PL_WRT_NUMBERVARS) in PL_write_term()
|
/dports/lang/yap/yap-6.2.2/include/ |
H A D | SWI-Prolog.h | 571 #define PL_WRT_NUMBERVARS 0x04 /* print $VAR(N) as a variable */ macro
|
/dports/lang/yap/yap-6.2.2/packages/semweb/ |
H A D | rdf_db.c | 497 PL_WRT_QUOTED|PL_WRT_NUMBERVARS|PL_WRT_PORTRAY); in print_literal()
|
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/ |
H A D | rdf_db.c | 289 PL_WRT_QUOTED|PL_WRT_NUMBERVARS|PL_WRT_PORTRAY); in print_literal()
|