public void CompleteAnalysis()
{
if (State == ESimState.DesignAnalysisCompleted)
{
return;
}
State = ESimState.DesignAnalysis;
BehavioralAnalyzer.DoBehavioralAnalysis(this);
State = ESimState.DesignAnalysisCompleted;
}
internal void RunRefinements(IProject targetProject)
{
State = ESimState.DesignAnalysis;
while (_refinementQ.Any())
{
BeginRefinement();
IRefinementCycle refine = _refinementQ.Dequeue();
refine.Refine(this, targetProject);
Elaborate();
State = ESimState.DesignAnalysis;
BehavioralAnalyzer.DoBehavioralAnalysis(this);
}
State = ESimState.RefinementsCompleted;
}
