Toggle navigation
Hot Examples
ZH
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
搜索
C# (CSharp) Isabelle.Ast OuterDeclVisitor.VisitFunDecl示例
编程语言:
C# (CSharp)
命名空间/包名称:
Isabelle.Ast
类/类型:
OuterDeclVisitor
方法/功能:
VisitFunDecl
hotexamples.com的示例:
1
C# (CSharp) Isabelle.Ast OuterDeclVisitor.VisitFunDecl - 已找到1个示例
。这些是从开源项目中提取的最受好评的
Isabelle.Ast.OuterDeclVisitor.VisitFunDecl
现实C# (CSharp)示例。您可以评价示例,以帮助我们提高示例质量。
常用方法
显示
隐藏
VisitAbbreviationDecl(1)
VisitDeclareDecl(1)
VisitDefDecl(1)
VisitFunDecl(1)
VisitLemmaDecl(1)
VisitLemmasDecl(1)
VisitLocaleDecl(1)
VisitMLDecl(1)
常用方法
VisitAbbreviationDecl (1)
VisitDeclareDecl (1)
VisitDefDecl (1)
VisitFunDecl (1)
VisitLemmaDecl (1)
VisitLemmasDecl (1)
VisitLocaleDecl (1)
VisitMLDecl (1)
示例#1
0
显示文件
文件:
OuterAst.cs
项目:
gauravpartha/boogie_proofgen
public override R Dispatch <R>(OuterDeclVisitor <R> visitor) { return(visitor.VisitFunDecl(this)); }