@@ -0,0 +1,506 @@
+package de.bmoth.parser.ast.nodes.ltl;%0A%0Apublic class BuechiAutomatonNode %7B%0A%0A    String name;%0A    String%5B%5D incoming;%0A    LTLFormula%5B%5D nonprocessed;%0A    LTLFormula%5B%5D processed;%0A    LTLFormula%5B%5D next;%0A%0A    public BuechiAutomatonNode(String name, String%5B%5D incoming, LTLFormula%5B%5D nonprocessed, LTLFormula%5B%5D processed, LTLFormula%5B%5D next) %7B%0A        this.name = name;%0A        this.incoming = incoming;%0A        this.nonprocessed = nonprocessed;%0A        this.processed = processed;%0A        this.next = next;%0A    %7D%0A%7D%0A

Create BuechiAutomatonNode class