/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | fromonto.pl | 71 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 D | heaps.pl | 81 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 D | queues.pl | 80 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 D | anti_unify.pl | 54 template:"anti_unify(Term1, Term2, General)", label
|
H A D | matrix_util.pl | 47 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 D | cgi.pl | 55 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 D | http_client.pl | 49 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 D | test_util.pl | 140 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 D | mps.pl | 87 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 D | branch_and_bound.pl | 644 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 D | fd.pl | 774 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 D | lists.pl | 507 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 D | suspend.pl | 739 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 D | asm.pl | 137 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 D | conjunto.pl | 39 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 D | chr_doc.pl | 27 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 D | propia.pl | 49 template:"+Goal infers +Language", label
|
H A D | r.pl | 2088 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 D | ftw_test.c | 50 static char template[] = "testftw.XXXXXXXXXX"; variable
|
/barrelfish-master/lib/libc/tests/stdio/ |
H A D | mkostemp_test.c | 46 static const char template[] = "mkostemp.XXXXXXXX"; variable
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_comments.pl | 502 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 D | repair.pl | 359 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 D | trace.c | 617 amsg_typedef_t template[33]; local 661 amsg_type_t template[6]; local [all...] |
/barrelfish-master/lib/int_route/server/ |
H A D | init.c | 280 const char * template = "find_and_add_irq_route(%"PRIu64",%"PRIu64",%"PRIu64")."; local
|
/barrelfish-master/usr/eclipseclp/Oci/ |
H A D | dbi.c | 506 template_t * template; local 553 template_t * template; local
|