/// <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));
}