Class StoredVariableGenerator

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultVariableGenerator

fr.lirmm.graphik.integraal.core.StoredVariableGenerator

All Implemented Interfaces:

TermGenerator, VariableGenerator

public class StoredVariableGenerator
extends DefaultVariableGenerator

Variable generator that keeps track of every generated symbol and the symbols created since the last reset.

Author:

renaud colin, mathieu dodard

Constructor Summary

Constructors

Constructor	Description
StoredVariableGenerator(String prefix)	Creates a stored variable generator using the given prefix.

Method Summary

Modifier and Type	Method	Description
Variable	getFreshSymbol()	Generate a fresh variable, i.e. a variable that does not already exist.
Collection<Term>	getGeneratedSymbol()	Returns all generated symbols.
Collection<Term>	getNewGeneratedSymbol()	Getting the list of new generated symbol is useful for check at each chase step, if some special processes must be done or not
void	resetNewGeneratedSymbol()	Reset the list of newGeneratedSymbol

Methods inherited from class Object

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

Constructor Details

StoredVariableGenerator

public StoredVariableGenerator(String prefix)

Creates a stored variable generator using the given prefix.

Parameters:

prefix - the prefix used for generated variables

Method Details

getGeneratedSymbol

public Collection<Term> getGeneratedSymbol()

Returns all generated symbols.

Returns:

the list of generated symbol

getNewGeneratedSymbol

public Collection<Term> getNewGeneratedSymbol()

Getting the list of new generated symbol is useful for check at each chase step, if some special processes must be done or not

Returns:

the list of new generated symbol

resetNewGeneratedSymbol

public void resetNewGeneratedSymbol()

Reset the list of newGeneratedSymbol

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

Overrides:

getFreshSymbol in class DefaultVariableGenerator

Returns:

a fresh variable.