Esempio n. 1
0
 private void AddOtherInvariants(GuardSemanticModel otherModel)
 {
     foreach(var i in otherModel.Invariants)
     {
         model.Add(i);
     }
 }
Esempio n. 2
0
 private Guard()
 {
     model = new GuardSemanticModel();
 }