/// <summary> /// Return TimedAutomataBDD of the hiding process /// [ REFS: 'none', DEREFS: 'hidingEvent, tauEvent, P1' ] /// </summary> /// <param name="hidingEvent">CUDDNode of hiding events</param> /// <param name="tauEvent">CUDDNode of tau event</param> /// <param name="P1">TimedAutomataBDD of the process P1</param> /// <param name="model"></param> /// <returns></returns> public static TimedAutomataBDD Hiding(CUDDNode hidingEvent, CUDDNode tauEvent, TimedAutomataBDD P1, Model model) { return((TimedAutomataBDD)AutomataBDD.Hiding(hidingEvent, tauEvent, P1, model)); }