abc.ltl.visit.transform
Class GeneralFieldDecls

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

public class GeneralFieldDecls
extends NodeVisitor

Constructor Summary

GeneralFieldDecls(NodeFactory nf)

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

GeneralFieldDecls

public GeneralFieldDecls(NodeFactory nf)

Parameters:

nf -

Method Detail

leave

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