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