Class NamedElement

java.lang.Object
it.unimi.dsi.lama4j.AbstractElement
it.unimi.dsi.lama4j.NamedElement
All Implemented Interfaces:
Element

public class NamedElement
extends AbstractElement
An extension of AbstractElement the associates a name with the element. Instances of this class are used by many lattices to build their elements.

Equality is defined by equality of the containing lattice and of the name.