checks1
Class varCheck

java.lang.Object
  |
  +--checks1.varCheck

public class varCheck
extends java.lang.Object


Constructor Summary
varCheck()
           
 
Method Summary
static java.lang.String start_check(VardecList vl, TransitionList tl)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

varCheck

public varCheck()
Method Detail

start_check

public static java.lang.String start_check(VardecList vl,
                                           TransitionList tl)