/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | eg_c_sendmore.c | 56 ec_term(ec_did("::",2), 57 varlist, ec_term(ec_did("..",2), ec_long(0), ec_long(9))) 60 ec_term(ec_did("alldistinct",1), varlist) 63 ec_term(ec_did("##",2), ec_refs_get(Vars,0), ec_long(0)) 66 ec_term(ec_did("##",2), ec_refs_get(Vars,4), ec_long(0)) 69 ec_term(ec_did("#=",2), 70 ec_term(plus, 71 ec_term(times, ec_long(1000), ec_refs_get(Vars,0)), 72 ec_term(plus, 73 ec_term(time [all...] |
H A D | eg_c_handle.c | 55 ec_term(ec_did(",",2), 56 ec_term(ec_did("xget",3), 60 ec_term(ec_did("writeln",1), X)
|
H A D | eg_c_mip.c | 59 ec_post_goal(ec_term( 62 ec_term(ec_did("..",2), ec_double(lb), ec_double(ub)))); 68 ec_post_goal(ec_term(ec_did("$=",2), lhs, rhs)); 74 ec_post_goal(ec_term(ec_did("$>=",2), lhs, rhs)); 80 ec_post_goal(ec_term(ec_did("$=<",2), lhs, rhs)); 86 ec_post_goal( ec_term(ec_did("optimize",2), 87 ec_term(ec_did("max",1), obj), objval)); 93 return ec_term(ec_did("+",2), lhs, rhs); 99 return ec_term(ec_did("*",2), lhs, rhs);
|
H A D | eg_c_main.c | 67 ec_post_goal(ec_term(writeln, ec_string("hello again: "))); 69 ec_post_goal(ec_term(read, ec_ref_get(X))); 76 ec_post_goal(ec_term(writeln, ec_ref_get(X)));
|
H A D | eg_c_fail_loop.c | 67 ec_post_goal(ec_term(p_1,ec_ref_get(X)));
|
H A D | eg_c_test.c | 165 ec_post_goal(ec_term(ec_.d.unify, 168 ec_post_goal(ec_term(ec_did("atom_string",2), 171 ec_post_goal(ec_term(ec_did("is",2), 173 ec_term(ec_.d.plus, 174 ec_term(ec_did("string_length",1), ec_refs_get(YZ,0)), 200 ec_post_goal(ec_term(ec_.d.unify, ec_ref_get(X), 221 ec_post_goal(ec_term(ec_did("writeln",1), ec_ref_get(X)));
|
H A D | embed.c | 179 goal = ec_term(ec_did("main",1), ec_long(ec_options.init_flags & INIT_SHARED ? 0 : 1)); 243 ec_post_goal(ec_term(ec_.d.colon, 245 ec_term(ec_did("exec_string",2), ec_string(callstring), ec_newvar()))); 251 ec_post_goal(ec_term(ec_.d.colon, 253 ec_term(ec_did("exec_exdr",1), ec_length_string(length, exdr_string)))); 267 ec_post_goal(ec_term(ec_.d.colon, 269 ec_term(exec_string_2, ec_string(callstring), vars))); 723 ec_post_goal(ec_term(ec_.d.call_explicit, 724 ec_term(ec_.d.cut_to,ec_ref_get(chp)), 934 ec_term(diden function 957 ec_term(va_alist) function [all...] |
H A D | main.c | 488 goal = ec_term(ec_did("main",1), ec_long(init_flags & INIT_SHARED ? 0 : 1)); 498 ec_post_goal(ec_term(ec_did(":",2), ec_atom(ec_did("sepia_kernel",0)), 861 ec_post_goal(ec_term(ec_did(":",2), ec_atom(ec_did("sepia_kernel",0)),
|
H A D | eclipse_cc.cc | 529 EC_word the_term(ec_term(functor.d,arg1.w,arg2.w,arg3.w,arg4.w)); 545 EC_word the_term(ec_term(functor.d,arg1.w,arg2.w,arg3.w,arg4.w,
|
H A D | embed.h | 126 Extern DLLEXP pword ec_term ARGS((dident, ... /*pwords*/)); 129 Extern DLLEXP pword ec_term();
|
/barrelfish-master/usr/skb/octopus/ |
H A D | skb_query.c | 107 //ec_post_goal(ec_term(ec_did("flush", 1), ec_long(1))); 108 //ec_post_goal(ec_term(ec_did("flush", 1), ec_long(2))); 109 //ec_post_goal(ec_term(ec_did("garbage_collect", 0))); 155 pword get_object_term = ec_term(get_object, sr.name, sr.attribute_list, 157 pword print_term = ec_term(print_object, print_var); 193 pword get_object_term = ec_term(get_object, sr.name, sr.attribute_list, 195 pword findall_term = ec_term(findall, var_rec, get_object_term, var_l); 196 pword prune_results = ec_term(prune_instances, var_l, var_pl); 197 pword print_names_term = ec_term(print_names, var_pl); 237 pword add_object_term = ec_term(add_objec [all...] |
H A D | code_generator.c | 140 pword constraint_term = ec_term(constraint, regex); 160 pword entry = ec_term(ec_did("val", 2), left_term, 165 pword entry = ec_term(constraint, left_term, right_terms.op,
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | ilog.cc | 85 EC_word ec_term = *v.getEC_term(); local 86 EC_word ec_var = EC_argument(ec_term, VARIABLE_INDEX); 96 EC_word ec_term = *v.getEC_term(); local 98 ec_term.schedule_suspensions(SUSPENSIONS_MIN_INDEX); 99 ec_term.schedule_suspensions(SUSPENSIONS_MAX_INDEX); 100 ec_term.schedule_suspensions(SUSPENSIONS_ANY_INDEX); 106 EC_word ec_term = *v.getEC_term(); local 108 ec_term.schedule_suspensions(SUSPENSIONS_ANY_INDEX);
|
/barrelfish-master/usr/skb/ |
H A D | skb_service.c | 84 ec_post_goal(ec_term(ec_did("flush", 1), ec_atom(ec_did("output", 0)))); 85 ec_post_goal(ec_term(ec_did("flush", 1), ec_atom(ec_did("error", 0)))); 155 ec_post_goal(ec_term(ec_did("flush", 1), ec_atom(ec_did("output", 0)))); 156 ec_post_goal(ec_term(ec_did("flush", 1), ec_atom(ec_did("error", 0))));
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | edge_finder.c | 133 return ec_term(ec_did("task",2), 135 return ec_term(ec_did("task",9),
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embsumc.tex | 60 \item[pword ec_term(dident,pword,pword,...)]\ \\
|