Class FreshVariableImpl

java.lang.Object

fr.inria.rules.integraal.model.logicalElements.impl.VariableImpl

fr.inria.rules.integraal.model.logicalElements.impl.FreshVariableImpl

All Implemented Interfaces:

fr.inria.rules.dlgpemodel.api.elems.ITerm, fr.inria.rules.dlgpemodel.api.elems.IVariable, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, Standardizable, Substitutable<Term>, Term, Variable

public class FreshVariableImpl
extends VariableImpl

A fresh variable is guaranteed not to compare equal to previously created variables.

Author:

Florent Tornil

Field Summary

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

WRITER

Constructor Summary

Constructors

Constructor	Description
FreshVariableImpl(String label)	Creates a fresh variable with the provided label.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()	//////////////////////////////////////////////

Methods inherited from class VariableImpl

applySubstitution, getName, isAnonymous, label, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

toDLGPE

Methods inherited from interface Standardizable

toStandardForm

Methods inherited from interface Term

applySubstitution, isConstant, isEvaluableFunction, isFrozen, isFunctionalTerm, isGround, isLiteral

Methods inherited from interface Variable

isVariable, toStandardForm

Constructor Details

FreshVariableImpl

public FreshVariableImpl(String label)

Creates a fresh variable with the provided label.

Parameters:

label - the label

Method Details

hashCode

public int hashCode()

//////////////////////////////////////////////

Overrides:

hashCode in class VariableImpl

equals

public boolean equals(Object o)

Overrides:

equals in class VariableImpl