abc.ltl.visit.transform
Class MultiThreadingSecure

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

public class MultiThreadingSecure
extends NodeVisitor

Constructor Summary

MultiThreadingSecure(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

MultiThreadingSecure

public MultiThreadingSecure(NodeFactory nf)

Parameters:

nf -

Method Detail

leave

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