Ejemplos de Slicer.Analyzers.FOLConverter.CanonicalForms GTT.ToStringN en C# (CSharp)

Ejemplo n.º 1

Archivo: GroundClauseEC.cs Proyecto: uriJuhasz/Boogie_verifier

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

Ejemplo n.º 2

Archivo: GroundClauseEC.cs Proyecto: uriJuhasz/Boogie_verifier

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