C# (CSharp) ISSE.SafetyChecking.FaultMinimalKripkeStructure ActivationMinimalTransitionSetBuilder.Clear Beispiele

Beispiel #1

Datei: ActivationMinimalExecutedModel.cs Projekt: 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();
 }

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