C# (CSharp) Counterexample.PopulateModelWithStates Exemples

Exemple #1

 private void PopulateModelWithStatesIfNecessary(Counterexample cex)
 {
     if (!cex.ModelHasStatesAlready)
     {
         cex.PopulateModelWithStates();
         cex.ModelHasStatesAlready = true;
     }
 }

Exemple #2

 private static void PopulateModelWithStatesIfNecessary(Counterexample Cex)
 {
     if (!Cex.ModelHasStatesAlready)
     {
         Cex.PopulateModelWithStates();
         Cex.ModelHasStatesAlready = true;
     }
 }