コード例 #1
0
ファイル: False.cs プロジェクト: uriJuhasz/Boogie_verifier 
 public override IFormula visit(IFormulaVisitor v)
 {
     return(v.visit(this));
 }
コード例 #2
0
ファイル: Not.cs プロジェクト: uriJuhasz/Boogie_verifier 
 public IFormula visit(IFormulaVisitor v)
 {
     return(v.visit(this));
 }