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

Example #1

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

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