ComposedSignature signature; // cache: equals m1.ActionSymbols union m2.ActionSymbols
#endregion Fields
#region Constructors
/// <summary>
/// Constructs m1 * m2
/// </summary>
public ProductModelProgram(ModelProgram m1, ModelProgram m2)
{
this.signature = new ComposedSignature(m1, m2);
this.m1 = m1;
this.m2 = m2;
}
ComposedSignature signature; // cache: equals m1.ActionSymbols union m2.ActionSymbols
/// <summary>
/// Constructs m1 * m2
/// </summary>
public ProductModelProgram(ModelProgram m1, ModelProgram m2)
{
this.signature = new ComposedSignature(m1, m2);
this.m1 = m1;
this.m2 = m2;
}