Home
last modified time | relevance | path

Searched refs:PlTermv (Results 1 – 9 of 9) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/packages/cpp/
H A DSWI-cpp.h65 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 Dlikes.cpp26 { PlTermv av(1); /* likes - happy */ in body()
33 { PlTermv av(2); in body()
42 { PlTermv av(2); in body()
H A Dtest.cpp48 { 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 Dpl2cpp.doc106 \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 Dmain.cpp7 PlTermv av(1); in main()
/dports/lang/swi-pl/swipl-8.2.3/packages/swipl-win/
H A DSwiPrologEngine.cpp144 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 DCompletion.cpp77 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 Dswipl_win.cpp56 PlCall("prolog", "file_open_event", PlTermv(name.toStdWString().data())); in event()
H A DPREDICATE.h72 typedef PlTermv V;