abc.ltl.visit.transform
Class CleanUp

java.lang.Object
  NodeVisitor
      abc.ltl.visit.transform.CleanUp

public class CleanUp
extends NodeVisitor

Constructor Summary

CleanUp()

Method Summary

Node	leave(Node old, Node n, NodeVisitor v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CleanUp

public CleanUp()

Method Detail

leave

public Node leave(Node old,
                  Node n,
                  NodeVisitor v)