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

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dsched_cstrs.h32 void sched_void(EC_word); // SchedCstrException IlcFailException
H A Dscheduler.cc96 ReturnTryPushTrailCatchPop(sched_void(EC_arg(2)), ec_arg(1).val.ptr);
H A Dsched_cstrs.cc174 sched_void(EC_word C) function

Completed in 25 milliseconds