uk.ac.soton.ecs.grimoires.server.impl
Interface VariableGenerator

All Known Implementing Classes:

SimpleVariableGenerator

public interface VariableGenerator

An interface that specifies a variable generator (gensym style).

Method Summary

String	next()
String	next(String s)

Method Detail

next

public String next()

Returns:

the name of a new variable for the current query.

next

public String next(String s)

Returns:

the name of a new variable starting with string s for the current query.