Searched refs:Sub (Results 1 - 9 of 9) sorted by relevance
| /barrelfish-master/usr/eclipseclp/documents/embedding/ |
| H A D | embvb.tex | 80 \item[Sub Send(EventName As String)]\ \\
117 \item[Sub RPC(Goal As Variant, Response As Variant)]\ \\
185 \item[Sub Remove(vntIndexKey As Variant)]\ \\
211 \item[Sub StreamWrite(Data As String)]\ \\
222 \item[Sub WriteExdr(Data As Variant)]\ \\
226 \item[Sub ReadExdr(Data As Variant)]\ \\
|
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | tracer_tcl.pl | 526 get_subterm_from_path(Path, Term, Term, Sub, Module),
527 named_structure(Sub, Module, Defs, Arity),
532 get_subterm_from_path(Path, Term, Term, Sub, Module),
533 provide_listnodes(Sub, 1, LSize, Reply, Module).
636 get_subterm_from_path(Path, Term, Term, Sub, M),
638 printf(S, DF, [Depth, Sub]),
641 get_type(Sub, Type, M),
642 get_summary_info(Type, Sub, Arity, Summary),
646 get_type(Sub, Type, M) :-
647 type_of(Sub, Type
[all...] |
| /barrelfish-master/usr/eclipseclp/Contrib/ |
| H A D | cardinal_union.pl | 272 list_subtraction([H:N|T1], [H:N|T2], Sub, [H|Out], Singles):-
273 !, list_subtraction(T1, T2, Sub, Out, Singles).
274 list_subtraction([H:N1|T1], [H:N2|T2], [H:N|Sub], Out, Singles):-
276 list_subtraction(T1, T2, Sub, Out, Singles1).
277 list_subtraction([H1:N1|T1], [H2:_|T2], Sub, Out, Singles):-
279 list_subtraction([H1:N1|T1], T2, Sub, Out, Singles).
280 list_subtraction([H:N|T], L, [H:N|Sub], Out, Singles):-
282 list_subtraction(T, L, Sub, Out, Singles1).
|
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | ic.c | 516 #define Sub(a, b, z) \ macro
2054 Sub(con->c, ytb.b, con->c);
2191 Sub(prop->sum, res, prop->sum);
2374 Sub(con->c, res, con->c);
2468 Sub(con->c, res, con->c);
2807 Sub(con->c, res, con->c);
2918 Sub(con->c, res, c);
2931 Sub(c, res, con->c);
2977 Sub(con->c, res, c);
3013 Sub(co
[all...] |
| /barrelfish-master/usr/eclipseclp/documents/libman/ |
| H A D | extconjunto.tex | 360 labeling(Sub) :-
361 set(Sub),!.
362 labeling(Sub) :-
363 max_weight(Sub, X),
364 ( X in Sub ; X notin Sub ),
365 labeling(Sub).
383 \verb/max_weight(Sub, X),/ and by adding it to the lower bound of the set
|
| /barrelfish-master/usr/eclipseclp/documents/tutorial/ |
| H A D | tutorial.tex | 334 % <sect> Independent Sub-problems
|
| H A D | umsusing.tex | 367 and data terms are displayed as a tree structure. Sub-trees can be
|
| /barrelfish-master/lib/cxx/cxxabi/demangle/ |
| H A D | ItaniumDemangle.h | 3767 Node *Sub = getDerived().parseSubstitution();
3768 if (Sub == nullptr)
3771 // Sub could be either of:
3785 Result = make<NameWithTemplateArgs>(Sub, TA);
3791 return Sub;
|
| /barrelfish-master/usr/eclipseclp/documents/userman/ |
| H A D | umsusing.tex | 295 Sub-trees can be collapsed and expanded by double-clicking.
|
Completed in 96 milliseconds