C# (CSharp) Microsoft.Boogie.VCExprAST VCExprNAry Beispiele

Beispiel #1

Datei: ExprExtensions.cs Projekt: shaobo-he/boogie

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

Beispiel #2

Datei: ExprExtensions.cs Projekt: shaobo-he/boogie

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