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

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dsched_cstrs.cc35 int is_resource = W.is_handle(resource_method, (void**)&resource); local
36 if (is_resource != EC_succeed) throw SchedCstrException();
44 int is_resource = W.is_handle(resource_method, (void**)&resource); local
45 if (is_resource != EC_succeed) throw SchedCstrException();
53 int is_resource = W.is_handle(altresset_method, (void**)&resource); local
54 if (is_resource != EC_succeed) throw SchedCstrException();

Completed in 25 milliseconds