edu.toronto.cs.proof
Class SimpleNameGenerator

java.lang.Object
  extended by edu.toronto.cs.proof.SimpleNameGenerator
All Implemented Interfaces:
StateNameGenerator

public class SimpleNameGenerator
extends java.lang.Object
implements StateNameGenerator


Constructor Summary
SimpleNameGenerator()
           
 
Method Summary
 java.lang.String getFreshName()
           
static void main(java.lang.String[] argv)
           
 void returnName(java.lang.String s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SimpleNameGenerator

public SimpleNameGenerator()
Method Detail

returnName

public void returnName(java.lang.String s)
Specified by:
returnName in interface StateNameGenerator

getFreshName

public java.lang.String getFreshName()
Specified by:
getFreshName in interface StateNameGenerator

main

public static void main(java.lang.String[] argv)