public ModelCheckingForm(string Name, SpecificationBase spec, PNExtendInfo extendInfo)
{
mSpecWorker = new SpecificationWorker(spec, this, this);
mExtendInfo = extendInfo;
InitializeComponent();
initPerformanceAnalytics();
initLogic();
mLatexWorker = new LatexWorker(extendInfo, Name);
if (Name != "")
{
#if DEBUG
Text = Text + " (Debug Model) - " + Name;
#else
this.Text = this.Text + " - " + Name;
#endif
}
}
public ModelCheckingForm(string Name, SpecificationBase spec, PNExtendInfo extendInfo)
{
mExtendInfo = extendInfo;
mSpecWorker = new SpecificationWorker(mExtendInfo,spec, this, this);
filename = Name;
InitializeComponent();
initPerformanceAnalytics();
initLogic();
//mLatexWorker = new LatexWorker(extendInfo, Name);
mLatexWorker = new LatexWorker(mExtendInfo, Name);
if (Name != "")
{
#if DEBUG
Text = Text + " (Debug Model) - " + Name;
#else
this.Text = this.Text + " - " + Name;
#endif
}
}
