Exemplo n.º 1
0
 public void addPrecondition(Constraint preCond)
 {
     preconditions.Add(preCond);
 }
Exemplo n.º 2
0
 public void addPostcondition(Constraint postCond)
 {
     postconditions.Add(postCond);
 }