public bool visit(SWLWorkflowNewSemaphore <bool> node) { Semaphore s = new Semaphore(node.init, int.MaxValue); dict_semaphore [node.sem_id] = s; return(true); }
public bool visit(SWLWorkflowNewSemaphore <bool> node) { Console.WriteLine("NEW SEMAPHORE"); Semaphore s = new Semaphore(node.init, int.MaxValue); dict_semaphore [node.sem_id] = s; return(true); }