Example #1
0
 public void addPrecondition(Constraint preCond)
 {
     preconditions.Add(preCond);
 }
Example #2
0
 public void addPostcondition(Constraint postCond)
 {
     postconditions.Add(postCond);
 }