C# (CSharp) ISSE.SafetyChecking.FaultMinimalKripkeStructure ActivationMinimalTransitionSetBuilder.Clear 예제들

예제 #1

파일: ActivationMinimalExecutedModel.cs 프로젝트: BenediktEberhardinger/ssharp

 /// <summary>
 ///   Invoked before the execution of the next step is started on the model, i.e., before a set of initial
 ///   states or successor states is computed.
 /// </summary>
 protected override void BeginExecution()
 {
     _transitions.Clear();
 }

예제 #2

 /// <summary>
 ///   Invoked before the execution of the next step is started on the model, i.e., before a set of initial
 ///   states or successor states is computed.
 /// </summary>
 protected override void BeginExecution()
 {
     _transitions.Clear();
     TemporaryStateStorage.Clear();
 }