/// <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(); }