/// <summary> /// Return AutomataBDD of the Skip process /// </summary> /// <param name="model"></param> /// <returns></returns> public static AutomataBDD Skip(Model model) { AutomataBDD result = AutomataBDD.Skip(model); SkipEncodeTick(model, result); // return(result); }
public override AutomataBDD EncodeComposition(BDDEncoder encoder) { return(AutomataBDD.Skip(encoder.model)); }