示例#1
0
 public void AddPotentialPreconditions(ProofObligation obl, IEnumerable <BoxedExpression> assumes)
 {
     generated += assumes.Count();
     inner.AddPotentialPreconditions(obl, assumes);
 }