C# (CSharp) KpSpin Promela.Indent Examples

Example #1

File: Promela.cs Project: Kernel-P-Systems/kPWorkbench

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

Example #2

File: Promela.cs Project: Kernel-P-Systems/kPWorkbench

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