Ejemplos de KpSpin Promela.Indent en C# (CSharp)

Ejemplo n.º 1

Archivo: Promela.cs Proyecto: Kernel-P-Systems/kPWorkbench

 public string ToPromela(int indent)
 {
     return(Promela.Indent(indent) + ToPromela());
 }

Ejemplo n.º 2

Archivo: Promela.cs Proyecto: Kernel-P-Systems/kPWorkbench

 public override string ToPromela(int indent)
 {
     return(Promela.Indent(indent) + this.ToPromela());
 }