edu.toronto.cs.ctl
Class CTLTemplate

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLTemplate

public class CTLTemplate
extends java.lang.Object

A CTLTemplate


Constructor Summary
CTLTemplate(CTLNode _node, java.util.Set _match)
           
 
Method Summary
 java.util.Map matchCTLNode(CTLNode _node)
           
 boolean matchInternal(java.util.Map map, CTLNode _node, CTLNode matchnode)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CTLTemplate

public CTLTemplate(CTLNode _node,
                   java.util.Set _match)
Method Detail

matchCTLNode

public java.util.Map matchCTLNode(CTLNode _node)

matchInternal

public boolean matchInternal(java.util.Map map,
                             CTLNode _node,
                             CTLNode matchnode)