C# (CSharp) KpSpin Promela.Indent Beispiele

Beispiel #1

Datei: Promela.cs Projekt: Kernel-P-Systems/kPWorkbench

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

Beispiel #2

Datei: Promela.cs Projekt: Kernel-P-Systems/kPWorkbench

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