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