fr.boreal.model.logicalElements.impl.identityObjects.IdentityFreshVariableImpl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of integraal-model Show documentation

Main objects for integraal

The newest version!

package fr.boreal.model.logicalElements.impl.identityObjects;

/**
 * Implementation of a FreshVariable where the equality test is redefined to only test java object equality on reference.
 * 

 * It is recommended to use a factory to create these terms.
 * 
 * @author Florent Tornil
 *
 */
public class IdentityFreshVariableImpl extends IdentityVariableImpl {

	/////////////////////////////////////////////////
	// Constructors
	/////////////////////////////////////////////////

	/**
	 * Constructor using a label
	 * @param label string representation 
	 */
	public IdentityFreshVariableImpl(String label) {
		super(label);
	}

}