C# (CSharp) Microsoft.Boogie StandardVisitor.VisitExistsExprの例

コード例 #1

ファイル: AbsyQuant.cs プロジェクト: luckysunda/hice-dt

 public override Absy StdDispatch(StandardVisitor visitor)
 {
     //Contract.Requires(visitor != null);
     Contract.Ensures(Contract.Result <Absy>() != null);
     return(visitor.VisitExistsExpr(this));
 }

コード例 #2

ファイル: AbsyQuant.cs プロジェクト: qunyanm/boogie

 public override Absy StdDispatch(StandardVisitor visitor) {
   //Contract.Requires(visitor != null);
   Contract.Ensures(Contract.Result<Absy>() != null);
   return visitor.VisitExistsExpr(this);
 }