Searched refs:PlTermv (Results 1 – 9 of 9) sorted by relevance
/dports/lang/swi-pl/swipl-8.2.3/packages/cpp/ |
H A D | SWI-cpp.h | 65 class PlTermv; variable 215 class PlTermv 221 PlTermv(int n) in PlTermv() function 1054 __inline PlTermv::PlTermv(PlTerm m0) in PlTermv() function 1059 __inline PlTermv::PlTermv(PlTerm m0, PlTerm m1) in PlTermv() function 1067 __inline PlTermv::PlTermv(PlTerm m0, PlTerm m1, PlTerm m2) in PlTermv() function 1087 __inline PlTermv::PlTermv(PlTerm m0, PlTerm m1, PlTerm m2, in PlTermv() function 1116 PlTermv av(2); 1124 PlTermv av(2); 1137 PlTermv av(2); [all …]
|
H A D | likes.cpp | 26 { PlTermv av(1); /* likes - happy */ in body() 33 { PlTermv av(2); in body() 42 { PlTermv av(2); in body()
|
H A D | test.cpp | 48 { PlTermv av(1); 62 PlTermv av(A2); /* could be inlined in next call */ 73 { PlQuery q("write", PlTermv("hello world\n")); 79 { return A1 = PlCompound("hello", PlTermv("world"));
|
H A D | pl2cpp.doc | 106 \classitem{PlTermv} 234 PlQuery q("call", PlTermv(A2)); 576 PlTermv av(1); 611 \section{The class PlTermv} 626 \constructor{PlTermv}{int size} 643 { PlTermv av(10); 804 const PlTermv \&av} 817 { PlTermv av(1); 835 const PlTermv \&av} 878 PlTermv av(1); [all …]
|
H A D | main.cpp | 7 PlTermv av(1); in main()
|
/dports/lang/swi-pl/swipl-8.2.3/packages/swipl-win/ |
H A D | SwiPrologEngine.cpp | 144 PlQuery q("call", PlTermv(PlCompound(t.toUtf8()))); in serve_query() 152 PlQuery q(A(n), "call", PlTermv(PlCompound(t.toUtf8()))); in serve_query() 256 … if (PlCall("current_prolog_flag", PlTermv("color_term", color_term)) && color_term == "false") in run() 332 if ( PlCall("atom_codes", PlTermv(A(t), cs)) && in named_load() 333 PlCall("open_chars_stream", PlTermv(cs, s))) { in named_load() 335 l.append(PlCompound("stream", PlTermv(s))); in named_load() 337 l.append(PlCompound("silent", PlTermv(A("true")))); in named_load() 339 bool rc = PlCall("load_files", PlTermv(A(n), opts)); in named_load() 340 PlCall("close", PlTermv(s)); in named_load()
|
H A D | Completion.cpp | 77 if (PlCall("prolog", "complete_input", PlTermv(Before, After, Delete, Completions))) { in initialize() 106 PlTermv(p, in initialize() 110 neg(C("sub_atom", PlTermv(p, zero, one, _V, A("$")))) in initialize()
|
H A D | swipl_win.cpp | 56 PlCall("prolog", "file_open_event", PlTermv(name.toStdWString().data())); in event()
|
H A D | PREDICATE.h | 72 typedef PlTermv V;
|