/// <summary>
/// Sets the initial state of the view
/// </summary>
/// <param name="modelProgram">given model program to be viewed</param>
public void SetModelProgram(ModelProgram modelProgram1)
{
this.modelProgram = modelProgram1;
this.exploredTransitions = new ExploredTransitions(modelProgram1, this.initialTransitions, this.maxTransitions);
this.exploredTransitions.excludeIsomorphicStates = this.ExcludeIsomorphicStates;
this.exploredTransitions.collapseExcludedIsomorphicStates = this.collapseExcludedIsomorphicStates;
this.exploredTransitions.ShowReachable(this.exploredTransitions.initialNode);
this.InitializeViewer();
}
/// <summary>
/// Sets the initial state of the view
/// </summary>
/// <param name="modelProgram">given model program to be viewed</param>
public void SetModelProgram(ModelProgram modelProgram1)
{
this.modelProgram = modelProgram1;
this.exploredTransitions = new ExploredTransitions(modelProgram1, this.initialTransitions, this.maxTransitions);
this.exploredTransitions.excludeIsomorphicStates = this.ExcludeIsomorphicStates;
this.exploredTransitions.collapseExcludedIsomorphicStates = this.collapseExcludedIsomorphicStates;
this.exploredTransitions.ShowReachable(this.exploredTransitions.initialNode);
this.InitializeViewer();
}
