Searched defs:template (Results 1 - 25 of 31) sorted by relevance

12

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dfromonto.pl71 template:"+Goal from_stream ++Stream", label
76 template:"+Goal onto_stream ++Stream", label
81 template:"+Goal from_string ++String", label
86 template:"+Goal onto_string ?String", label
91 template:"+Goal from_file ++File", label
96 template:"+Goal onto_file ++File", label
H A Dheaps.pl81 template:"add_to_heap(+OldHeap, +Key, +Datum, -NewHeap)", label
128 template:"get_from_heap(+OldHeap, ?Key, ?Datum, -NewHeap)", label
164 template:"heap_size(+Heap, ?Size)"]). label
172 template:"heap_to_list(+Heap, -List)", label
208 template:"list_to_heap(+List, -Heap)", label
232 template:"min_of_heap(+Heap, ?Key, ?Datum)", label
241 template:"min_of_heap(+Heap, ?Key1, ?Datum1, ?Key2, ?Datum2)", label
H A Dqueues.pl80 template:"make_queue(Queue)", label
92 template:"join_queue(Element, OldQueue, NewQueue)", label
113 template:"list_join_queue(List, OldQueue, NewQueue)", label
127 template:"jump_queue(Element, OldQueue, NewQueue)", label
149 template:"list_jump_queue(List, OldQueue, NewQueue)", label
168 template:"head_queue(Queue, Head)", label
184 template:"serve_queue(OldQueue, Head, NewQueue)"]). label
194 template:"empty_queue(Queue)", label
212 template:"length_queue(Queue, Length)", label
233 template label
242 template:"queue_to_list(Queue, List)"]). label
[all...]
H A Danti_unify.pl54 template:"anti_unify(Term1, Term2, General)", label
H A Dmatrix_util.pl47 template:"matrix(+NRow, +NCols, -Rows)", label
55 template:"matrix(+NRows, +NCols, -Rows, -Cols)", label
64 template:"list2rows(+List, +NRows, +NCols, -Rows)", label
72 template:"list2cols(+List, +NRows, +NCols, -Cols)", label
80 template:"transpose(+Matrix, -Transposed)", label
89 template:"concat(+RowsOrCols, -List)", label
104 template:"read_data(+File, ?List, -Length)", label
H A Dcgi.pl55 template:"posted_params(-NameValuePairs)", label
70 template:"get_param_value(+NameValuePairs, +Name, ?Value)", label
78 template:"substitute_placeholders(+PageTemplate, +NameValuePairs, -Page)", label
88 template:"get_error_output(-Message)", label
H A Dhttp_client.pl49 template:"http_client(+Method, +Uri, +ObjectBody, +HttpParams, -RespError, -RespParam, -RespObjectBody)", label
281 template:"http_open(+Url, -Stream)", label
306 template:"http_compile(+Url)", label
H A Dtest_util.pl140 template:"+Goal should_fail", label
147 template:"should_fail(+Goal,+TestName)", label
154 template:"+Goal should_give +CheckGoal", label
196 template:"should_give(+Goal,+CheckGoal,+TestName)", label
204 template:"+Goal should_throw +Exception", label
215 template:"should_throw(+Goal,+Exception,+TestName)", label
226 template:"+Goal should_raise +Event", label
233 template:"should_raise(+Goal,+Event,+TestName)", label
240 template:"fixme +SkippedTest", label
253 template label
263 template:"test(+File)", label
271 template:"test(+File, +Option)", label
288 template:"test_info(+File,+Info)", label
[all...]
H A Dmps.pl87 template:"mps_exit", label
97 template:"mps_init(+Host)", label
107 template:"mps_ping(+Host)", label
117 template:"mps_port_allocate(+NotifyPred, -Port)", label
127 template:"mps_port_deallocate(+Port)", label
137 template:"mps_port_deregister(+Key, +Name, +Signature)", label
147 template:"mps_port_lookup(+Key, +Name, -Port)", label
157 template:"mps_port_register(+Key, +Name, +Signature, -Port)", label
167 template:"mps_receive(+Port, -Message)", label
177 template label
[all...]
H A Dbranch_and_bound.pl644 template:"minimize(+Goal, ?Cost)", label
1033 template:"bb_init(++ExtremeCost, -Handle)", label
1039 template:"bb_cost(++Handle, -Cost)", label
1045 template:"bb_solution(++Handle, -Solution)", label
1051 template:"bb_finish(++Handle)", label
1057 template:"bb_probe(++From, ++To, +Goal, ?Template, ?Cost, ++Handle, ++Module)", label
H A Dfd.pl774 template:"alldifferent(?List)", label
790 template:"alldistinct(?List)", label
805 template:"?C1 #/\\ ?C2", label
821 template:"#/\\(?X, ?Y, ?B)", label
863 template:"atmost(+N, ?List, +V)", label
883 template:"constraints_number(?Var, ?N)", label
904 template:"default_domain(-Var)", label
939 template:"?X ## ?Y", label
956 template:"##(?X, ?Y, ?B)", label
998 template label
1015 template:"#\\\\=(?X, ?Y, ?B)", label
1057 template:"dom(+Var, ?List)", label
1096 template:"dom_check_in(+Element, +Dom)", label
1110 template:"dom_compare(?Res, +Dom1, +Dom2)", label
1133 template:"dom_copy(+Dom1, -Dom2)", label
1151 template:"dom_difference(+Dom1, +Dom2, -DomDiff, -Size)", label
1166 template:"dom_to_list(+Dom, ?List)", label
1206 template:"dom_intersection(+Dom1, +Dom2, -DomInt, -Size)", label
1221 template:"dom_member(?Element, +Dom)", label
1236 template:"dom_range(+Dom, ?Min, ?Max)", label
1250 template:"dvar_range(+DVar, ?Min, ?Max)", label
1265 template:"dom_size(+Dom, ?Size)", label
1280 template:"dom_union(+Dom1, +Dom2, -DomUnion, -Size)", label
1300 template:"?Vars :: ?Domain", label
1326 template:"?Vars #:: ?Domain", label
1337 template:"::(?X, ?Y, ?B)", label
1379 template:"#::(?X, ?Y, ?B)", label
1390 template:"dvar_attribute(+DVar, ?Attrib)", label
1406 template:"dvar_domain(+DVar, -Dom)", label
1422 template:"dvar_msg(+DVar1, +DVar2, -MsgDVar)", label
1438 template:"dvar_remove_element(+DVar, +El)", label
1456 template:"dvar_remove_greater(+DVar, +El)", label
1473 template:"dvar_remove_smaller(+DVar, +El)", label
1490 template:"dvar_replace(+DVar, +NewDom)", label
1512 template:"dvar_update(+DVar, +NewDom)", label
1535 template:"element(?Index, +List, ?Value)", label
1576 template:"?X #= ?Y", label
1600 template:"#=(?X, ?Y, ?B)", label
1642 template:"?C1 #<=> ?C2", label
1663 template:"#<=>(?X, ?Y, ?B)", label
1705 template:"fd_eval(?C)", label
1723 template:"?X #> ?Y", label
1747 template:"#>(?X, ?Y, ?B)", label
1789 template:"?X #>= ?Y", label
1813 template:"#>=(?X, ?Y, ?B)", label
1855 template:"?C1 #=> ?C2", label
1874 template:"#=>(?X, ?Y, ?B)", label
1916 template:"indomain(?Var)", label
1942 template:"integer_list_to_dom(+List, -Dom)", label
1966 template:"is_domain(?Term)", label
1980 template:"is_integer_domain(?Term)", label
1995 template:"?B isd ?C", label
2018 template:"list_to_dom(+List, -Dom)", label
2034 template:"?X #< ?Y", label
2058 template:"#<(?X, ?Y, ?B)", label
2100 template:"?X #<= ?Y", label
2124 template:"#<=(?X, ?Y, ?B)", label
2166 template:"maxdomain(+Var, ?Max)", label
2183 template:"minimize_bound_check", label
2217 template:"min_max(?Goal, ?C)", label
2239 template:"min_max(+Goal, ?Template, ?Solution, ?C)", label
2312 template:"min_max(?Goal, ?C, +Lower, +Upper, +Percent)", label
2342 template:"min_max(?Goal, ?C, +Lower, +Upper, +Percent, +Timeout)", label
2377 template:"min_max(+Goal, ?Template, ?Solution, ?C, +Lower, +Upper, +Percent, +Timeout)", label
2462 template:"mindomain(+Var, ?Min)", label
2478 template:"minimize(?Goal, ?C)", label
2503 template:"minimize(+Goal, ?Template, ?Solution, ?C)", label
2574 template:"minimize(?Goal, ?C, +Lower, +Upper, +Percent)", label
2604 template:"minimize(?Goal, ?C, +Lower, +Upper, +Percent, +Timeout)", label
2640 template:"minimize(+Goal, ?Template, ?Solution, ?C, +Lower, +Upper, +Percent, +Timeout)", label
2727 template:"new_domain_var(-Var)", label
2758 template:"#\\\\+ ?C", label
2776 template:"#\\\\+(?X, ?B)", label
2818 template:"?C1 #\\\\/ ?C2", label
2838 template:"#\\\\/(?X, ?Y, ?B)", label
2880 template:"par_indomain(?Var)", label
2909 template:"sorted_list_to_dom(+List, -Dom)", label
2927 template:"var_fd(+Var, +Dom)", label
2947 template:"contigs(+List, +Item, ?MaxLength, ?Occurrences, ?Contigs)", label
2967 template:"deletemin(?Var, +List, -Rest)", label
2999 template:"disjunction(?Start1, +Duration1, ?Start2, +Duration2, ?Flag)", label
3045 template:"disjunction_choose(?Start1, +Duration1, ?Start2, +Duration2, ?Flag)", label
3089 template:"disjunctive(?Starts, +Durations, ?Flags)", label
3152 template:"sequence(+List, +Item, ?MaxLength, ?Occurrences)", label
3170 template:"deleteff(?Var, +List, -Rest)", label
3197 template:"deleteffc(?Var, +List, -Rest)", label
[all...]
H A Dlists.pl507 template:"halve(+List, ?Front, ?Back)", label
588 template:"shuffle(+List, ?ShuffledList)", label
611 template:"print_list(+List)" label
657 template:"select(?Element, ?List1, ?List2)", label
712 template:"delete(?Element, ?List1, ?List2)", label
737 template:"intersection(+List1, +List2, ?Common)", label
770 template:"length(?List, ?N)", label
806 template:"member(?Term, ?List)", label
833 template:"memberchk(+Term, ?List)", label
856 template label
881 template:"subtract(+List1, +List2, ?Remainder)", label
910 template:"union(+List1, +List2, ?Union)", label
939 template:"reverse(+List, ?Reversed)", label
964 template:"append(?List1, ?List2, ?List3)", label
987 template:"checklist(+Pred, +List)", label
1015 template:"flatten(+NestedList, ?FlatList)", label
1045 template:"flatten(++MaxDepth, +NestedList, ?FlatList)", label
1085 template:"maplist(+Pred, ?OldList, ?NewList)", label
1115 template:"subset(?SubList, +List)", label
[all...]
H A Dsuspend.pl739 template: "?Vars :: ?Range", label
778 template: "?Vars #:: ?Range", label
807 template: "?Vars #:: ?Range", label
978 template: "?Expr1 =:= ?Expr2", label
993 template: "?Expr1 =\\= ?Expr2", label
1008 template: "?Expr1 >= ?Expr2", label
1023 template: "?Expr1 =< ?Expr2", label
1038 template: "?Expr1 > ?Expr2", label
1053 template label
1068 template: "?Expr1 $= ?Expr2", label
1083 template: "?Expr1 $\\\\= ?Expr2", label
1098 template: "?Expr1 $>= ?Expr2", label
1113 template: "?Expr1 $=< ?Expr2", label
1128 template: "?Expr1 $> ?Expr2", label
1143 template: "?Expr1 $< ?Expr2", label
1158 template: "?Expr1 #= ?Expr2", label
1174 template: "?Expr1 #\\\\= ?Expr2", label
1190 template: "?Expr1 #>= ?Expr2", label
1206 template: "?Expr1 #=< ?Expr2", label
1222 template: "?Expr1 #> ?Expr2", label
1238 template: "?Expr1 #< ?Expr2", label
1525 template: "?Expr1 and ?Expr2", label
1564 template: "?Expr1 or ?Expr2", label
1603 template: "?Expr1 => ?Expr2", label
1657 template: "neg ?Expr", label
[all...]
H A Dasm.pl137 template:"asm(+PredSpec, +WAMCode)", label
163 template:"asm(+PredSpec, +WAMCode, +Flags)", label
192 template:"disasm(+PredSpec, ?WAMCode)", label
231 template:"disasm(+PredSpec, ?WAMCode, +Module)", label
307 template:"wam(+PredSpec)", label
337 template:"wam(+PredSpec, +Module)", label
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dconjunto.pl39 template:"all_disjoint(?Lsets)", label
70 template:"all_union(?Lsets, ?Svar)", label
101 template:"#(?Sterm,?Var)", label
139 template:"?Sterm `<> ?Sterm1", label
174 template:"set(?SVar)", label
200 template:"el_weight(+Var, ?Wvar)", label
226 template:"glb(?S, ?Glb)", label
253 template:"?E in ?Sterm", label
288 template:"list2set(+List, ?Svar)", label
313 template label
341 template:"max_weight(?Svar, ?Var)", label
372 template:"modify_bound(+Flag, ?Svar, +Var)", label
401 template:"?E notin ?Sterm", label
418 template:"refine(?Svar)", label
453 template:"?Sterm `= ?Sterm1", label
493 template:"set_range(?Svar, ?Glb, ?Lub)", label
522 template:"set2list(+Svar, ?List)", label
549 template:"?Svar `:: +Domain", label
580 template:"?Sterm `< ?Sterm1", label
617 template:"sum_weight(?Svar, ?Var)", label
[all...]
H A Dchr_doc.pl27 template:"chr(+File)", label
54 template:"chr2pl(+File)", label
79 template:"chr_get_constraint(?Constraint)", label
158 template:"chr_get_constraint(Variable,?Constraint)", label
217 template:"chr_label_with(+Constraint)", label
255 template:"chr_labeling", label
316 template:"chr_notrace", label
339 template:"chr_opium", label
408 template:"chr_resolve(+Constraint)", label
460 template label
[all...]
H A Dpropia.pl49 template:"+Goal infers +Language", label
H A Dr.pl2088 template:"?T1 $= ?T2", label
2114 template:"?T1 $> ?T2", label
2139 template:"?T1 $>= ?T2", label
2164 template:"?T1 $<> ?T2", label
2189 template:"?T1 $< ?T2", label
2214 template:"?T1 $<= ?T2", label
2240 template:"rmax(?Func)", label
2273 template:"rmin(?Func)", label
/barrelfish-master/lib/libc/tests/gen/
H A Dftw_test.c50 static char template[] = "testftw.XXXXXXXXXX"; variable
/barrelfish-master/lib/libc/tests/stdio/
H A Dmkostemp_test.c46 static const char template[] = "mkostemp.XXXXXXXX"; variable
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_comments.pl502 template: "?SetVariable `:: ?Domain", label
764 template: "?Element `@ ?SetVariable", label
800 template: "?Element in ?SetVariable", label
817 template: "?Element `-@ ?SetVariable", label
849 template: "?Element notin ?SetVariable", label
867 template: "?SetVar1 `$ ?SetVar2", label
905 template: "?SetVar1 `<> ?SetVar2", label
951 template: "?SetVar1 `>= ?SetVar2", label
985 template: "?SetVar1 `< ?SetVar2", label
1034 template label
1146 template: "?SetExp1 `= ?SetExp2", label
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Drepair.pl359 template: "+Constraint r_conflict ?ConflictSet", label
446 template: "+Constraint r_conflict_prop ?ConflictSet", label
800 template: "?Vars tent_get ?Values", label
848 template: "?Vars tent_set ++Values", label
999 template: "-Result tent_is +Expression", label
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dtrace.c617 amsg_typedef_t template[33]; local
661 amsg_type_t template[6]; local
[all...]
/barrelfish-master/lib/int_route/server/
H A Dinit.c280 const char * template = "find_and_add_irq_route(%"PRIu64",%"PRIu64",%"PRIu64")."; local
/barrelfish-master/usr/eclipseclp/Oci/
H A Ddbi.c506 template_t * template; local
553 template_t * template; local

Completed in 200 milliseconds

12