public override AutomataBDD EncodeComposition(BDDEncoder encoder)
{
AutomataBDD process1BDD = this.FirstProcess.Encode(encoder);
AutomataBDD process2BDD = this.SecondProcess.Encode(encoder);
//
return(AutomataBDD.Interrupt(process1BDD, process2BDD, encoder.model));
}
/// <summary>
/// Return AutomataBDD of interrupt process
/// </summary>
/// <param name="P1">AutomataBDD of interrupted process</param>
/// <param name="P2">AutomataBDD of interrupting process</param>
/// <param name="model"></param>
/// <returns></returns>
public static AutomataBDD Interrupt(AutomataBDD P1, AutomataBDD P2, Model model)
{
AutomataBDD result = AutomataBDD.Interrupt(P1, P2, model);
InterruptEncodeTick(P1, P2, model, result);
//
return(result);
}