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