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

コード例 #1

 public override Absy StdDispatch(StandardVisitor visitor)
 {
     return(visitor.VisitQKeyValue(this));
 }

コード例 #2

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

 public override Absy StdDispatch(StandardVisitor visitor) {
   return visitor.VisitQKeyValue(this);
 }