Searched refs:ec_term (Results 1 - 16 of 16) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Deg_c_sendmore.c56 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 Deg_c_handle.c55 ec_term(ec_did(",",2),
56 ec_term(ec_did("xget",3),
60 ec_term(ec_did("writeln",1), X)
H A Deg_c_mip.c59 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 Deg_c_main.c67 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 Deg_c_fail_loop.c67 ec_post_goal(ec_term(p_1,ec_ref_get(X)));
H A Deg_c_test.c165 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 Dembed.c179 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 Dmain.c488 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 Declipse_cc.cc529 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 Dembed.h126 Extern DLLEXP pword ec_term ARGS((dident, ... /*pwords*/));
129 Extern DLLEXP pword ec_term();
/barrelfish-master/usr/skb/octopus/
H A Dskb_query.c107 //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 Dcode_generator.c140 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 Dilog.cc85 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 Dskb_service.c84 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 Dedge_finder.c133 return ec_term(ec_did("task",2),
135 return ec_term(ec_did("task",9),
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembsumc.tex60 \item[pword ec_term(dident,pword,pword,...)]\ \\

Completed in 151 milliseconds