C# (CSharp) Isabelle.Ast OuterDeclVisitor Examples

Example #1

File: OuterAst.cs Project: gauravpartha/boogie_proofgen

 public abstract R Dispatch <R>(OuterDeclVisitor <R> visitor);

Example #2

File: OuterAst.cs Project: gauravpartha/boogie_proofgen

 public override R Dispatch <R>(OuterDeclVisitor <R> visitor)
 {
     return(visitor.VisitDefDecl(this));
 }

Example #3

File: OuterAst.cs Project: gauravpartha/boogie_proofgen

 public override R Dispatch <R>(OuterDeclVisitor <R> visitor)
 {
     return(visitor.VisitAbbreviationDecl(this));
 }