edu.toronto.cs.proof
Interface StateNameGenerator

All Known Implementing Classes:
SimpleNameGenerator

public interface StateNameGenerator


Method Summary
 java.lang.String getFreshName()
           
 void returnName(java.lang.String s)
           
 

Method Detail

getFreshName

java.lang.String getFreshName()

returnName

void returnName(java.lang.String s)