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

/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dsched_cstrs.h33 IlcCapResource resource_of_handle(EC_word); // SchedCstrException
H A Dsched_cstrs.cc32 resource_of_handle(EC_word W) function
103 IlcCapResource resource = resource_of_handle(EC_argument(C, 2));
119 IlcCapResource resource = resource_of_handle(EC_argument(C, 2));
182 resource_of_handle(EC_argument(C, 1)).close();
190 altresconstraint_of_handle(EC_argument(C, 1)).setNotPossible(resource_of_handle(EC_argument(C, 2)));
H A Dscheduler.cc142 resource[i] = resource_of_handle(head);

Completed in 161 milliseconds