Esempi in C# (CSharp) per Counterexample.PopulateModelWithStates

Esempio n. 1

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

Esempio n. 2

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