package de.bmoth.parser.ast.nodes.ltl;

import java.util.List;

public class BuechiAutomatonNode {

    String name;
    List<String> incoming;
    List<LTLNode> unprocessed;
    List<LTLNode> processed;
    List<LTLNode> next;

    public BuechiAutomatonNode(String name, List<String> incoming, List<LTLNode> unprocessed, List<LTLNode> processed,
                               List<LTLNode> next) {
        this.name = name;
        this.incoming = incoming;
        this.unprocessed = unprocessed;
        this.processed = processed;
        this.next = next;
    }

    
}

@@ -55,16 +55,47 @@
 il.List;
+%0Aimport java.util.StringJoiner;
 %0A%0Apublic
@@ -598,11 +598,1185 @@
  %7D%0A%0A    
+public String toString() %7B%0A        StringJoiner nodeString = new StringJoiner(%22%5Cn%7C %22, %22%22, %22%22);%0A        nodeString.add(this.name + %22: %22);%0A%0A        StringJoiner incomingString = new StringJoiner(%22, %22, %22%7B%22, %22%7D%22);%0A        for(String incomingNode: this.incoming) %7B%0A            incomingString.add(incomingNode);%0A        %7D%0A        nodeString.add(%22Incoming: %22 + incomingString.toString());%0A%0A        StringJoiner unprocessedString = new StringJoiner(%22; %22, %22(%22, %22)%22);%0A        for (LTLNode subNode : this.unprocessed) %7B%0A            unprocessedString.add(subNode.toString());%0A        %7D%0A        nodeString.add(%22Unprocessed: %22 + unprocessedString.toString());%0A%0A        StringJoiner processedString = new StringJoiner(%22; %22, %22(%22, %22)%22);%0A        for (LTLNode subNode : this.processed) %7B%0A            processedString.add(subNode.toString());%0A        %7D%0A        nodeString.add(%22Processed: %22 + processedString.toString());%0A%0A        StringJoiner nextString = new StringJoiner(%22; %22, %22(%22, %22)%22);%0A        for (LTLNode subNode : this.next) %7B%0A            nextString.add(subNode.toString());%0A        %7D%0A        nodeString.add(%22Next: %22 + nextString.toString());%0A%0A        return nodeString.toString();%0A    %7D%0A
 %0A%7D%0A

Add toString-method for BuechiAutomatonNode