Esempi in C# (CSharp) per Microsoft.Boogie.VCExprAST VCExprNAry

Esempio n. 1

File: ExprExtensions.cs Progetto: shaobo-he/boogie

 public static FuncDecl GetAppDecl(this Term t)
 {
     Microsoft.Boogie.VCExprAST.VCExprNAry tn = t as Microsoft.Boogie.VCExprAST.VCExprNAry;
     return(tn.Op);
 }

Esempio n. 2

File: ExprExtensions.cs Progetto: shaobo-he/boogie

 public static Term[] GetAppArgs(this Term t)
 {
     Microsoft.Boogie.VCExprAST.VCExprNAry tn = t as Microsoft.Boogie.VCExprAST.VCExprNAry;
     return(tn.ToArray());
 }