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

Example #1

File: GroundClauseEC.cs Project: uriJuhasz/Boogie_verifier

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

Example #2

File: GroundClauseEC.cs Project: uriJuhasz/Boogie_verifier

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