コード例 #1
0
ファイル: Not.cs プロジェクト: uriJuhasz/Boogie_verifier 
 public IFormula substitute(Substitution s)
 {
     return(new Not(f.substitute(s)));
 }