224 void CLG_(init_cost)(EventSet* es, ULong* cost)  in CLG_()
228     if (!cost) return;  in CLG_()
231 	cost[i] = 0;  in CLG_()
235 void CLG_(init_cost_lz)(EventSet* es, ULong** cost)  in CLG_()
239     CLG_ASSERT(cost != 0);  in CLG_()
240     if (!(*cost))  in CLG_()
241 	*cost = CLG_(get_eventset_cost)(es);  in CLG_()
244 	(*cost)[i] = 0;  in CLG_()
247 void CLG_(zero_cost)(EventSet* es, ULong* cost)  in CLG_()
251     if (!cost) return;  in CLG_()
254 	cost[i] = 0;  in CLG_()
257 Bool CLG_(is_zero_cost)(EventSet* es, ULong* cost)  in CLG_()
261     if (!cost) return True;  in CLG_()
264 	if (cost[i] != 0) return False;  in CLG_()