fr.boreal.model.logicalElements.impl.identityObjects.IdentityConstantImpl 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;

import fr.boreal.model.logicalElements.api.Constant;

/**
 * Implementation of a Constant 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 record IdentityConstantImpl(String label) implements Constant {

	@Override
	public String toString() {
		return this.label;
	}
}