C# (CSharp) Counterexample.PopulateModelWithStates示例

示例#1

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

示例#2

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