Class DefaultConstantGenerator

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultConstantGenerator

All Implemented Interfaces:

ConstantGenerator, TermGenerator

public class DefaultConstantGenerator
extends Object
implements ConstantGenerator

Generate fresh variables by appending an incremental counter to the specified prefix.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Constructor Summary

Constructors

Constructor	Description
DefaultConstantGenerator(String prefix)	Creates a generator using the given identifier prefix.

Method Summary

Modifier and Type	Method	Description
Constant	getFreshSymbol()	Generate a fresh constant, i.e. a constant which does not already exist.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultConstantGenerator

public DefaultConstantGenerator(String prefix)

Creates a generator using the given identifier prefix.

Parameters:

prefix - the prefix used for generated constants

Method Details

getFreshSymbol

public Constant getFreshSymbol()

Description copied from interface: ConstantGenerator

Generate a fresh constant, i.e. a constant which does not already exist.

Specified by:

getFreshSymbol in interface ConstantGenerator

Specified by:

getFreshSymbol in interface TermGenerator

Returns:

a fresh Constant.