Home
last modified time | relevance | path

Searched refs:PL_WRT_NUMBERVARS (Results 1 – 8 of 8) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-write.c1513 { 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 DSWI-Prolog.h945 #define PL_WRT_NUMBERVARS 0x04 /* print $VAR(N) as a variable */ macro
H A Dpl-wic.c4051 PL_write_term(Serror, t, 1200, PL_WRT_NUMBERVARS); in compileFile()
/dports/lang/swi-pl/swipl-8.2.3/src/os/
H A Dpl-text.c328 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 Dpl-yap.c146 if (flags & PL_WRT_NUMBERVARS) in PL_write_term()
/dports/lang/yap/yap-6.2.2/include/
H A DSWI-Prolog.h571 #define PL_WRT_NUMBERVARS 0x04 /* print $VAR(N) as a variable */ macro
/dports/lang/yap/yap-6.2.2/packages/semweb/
H A Drdf_db.c497 PL_WRT_QUOTED|PL_WRT_NUMBERVARS|PL_WRT_PORTRAY); in print_literal()
/dports/lang/swi-pl/swipl-8.2.3/packages/semweb/
H A Drdf_db.c289 PL_WRT_QUOTED|PL_WRT_NUMBERVARS|PL_WRT_PORTRAY); in print_literal()