public bool IsRunnable(Process process) { return GetRunnableJoinStatements(process) != 0; }
public abstract void Dispatch(Process process);
public virtual ulong GetRunnableJoinStatements(Process process) { return ulong.MaxValue; }
public abstract ZingMethod Clone(StateImpl myState, Process myProcess, bool shallowCopy);