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

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dilog.cc258 ilog_call(IlcConstraint g, pword *handle) function
275 return ilog_call(v == ec_arg(3).val.nint, ec_arg(1).val.ptr);
292 return ilog_call(x == y, ec_arg(1).val.ptr);
304 return ilog_call(ec2il_cstr(EC_arg(2)), ec_arg(1).val.ptr);

Completed in 76 milliseconds