Class DefaultVariableGenerator

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultVariableGenerator

All Implemented Interfaces:

TermGenerator, VariableGenerator

Direct Known Subclasses:

StoredVariableGenerator

public class DefaultVariableGenerator
extends Object
implements VariableGenerator

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
DefaultVariableGenerator(String prefix)	Creates a fresh-variable generator using the provided prefix.
DefaultVariableGenerator(String prefix, AtomSet as)	Creates a fresh-variable generator that avoids terms already present in an atom set.

Method Summary

Modifier and Type	Method	Description
Variable	getFreshSymbol()	Generate a fresh variable, i.e. a variable that does not already exist.

Methods inherited from class Object

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

Constructor Details

DefaultVariableGenerator

public DefaultVariableGenerator(String prefix)

Creates a fresh-variable generator using the provided prefix.

Parameters:

prefix - the prefix prepended to generated variables

DefaultVariableGenerator

public DefaultVariableGenerator(String prefix,
 AtomSet as)

Creates a fresh-variable generator that avoids terms already present in an atom set.

Parameters:

prefix - the prefix prepended to generated variables

as - the atom set used to avoid collisions

Method Details

getFreshSymbol

public Variable getFreshSymbol()

Description copied from interface: VariableGenerator

Generate a fresh variable, i.e. a variable that does not already exist.

Specified by:

getFreshSymbol in interface TermGenerator

Specified by:

getFreshSymbol in interface VariableGenerator

Returns:

a fresh variable.