C# (CSharp) Slicer.Analyzers.FOLConverter.CanonicalForms GTT.ToStringN示例

示例#1

文件： GroundClauseEC.cs 项目： uriJuhasz/Boogie_verifier

 internal static string makeStringN(IPredicate predicate, GTT args)
 {
     return(predicate.name + "(" + args.ToStringN() + ")");
 }

示例#2

文件： GroundClauseEC.cs 项目： uriJuhasz/Boogie_verifier

 ////////////////////////////////////////////////////////////////////////////
 public static string makeStringN(Function function, GTT arguments)
 {
     return(function.name + arguments.ToStringN());
 }