it.unimi.dsi.lama4j

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.

Field Summary

Fields

Modifier and Type	Field and Description
String	name The name of this element.

Fields inherited from class it.unimi.dsi.lama4j.AbstractElement

lattice

Constructor Summary

Constructors

Constructor and Description
NamedElement(Lattice lattice, String name) Create a new abstract element, initialising its containing lattice and its name.

Method Summary

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

Methods inherited from class it.unimi.dsi.lama4j.AbstractElement

comp, join, join, lattice, leq, meet, meet, pscomp, psdiff, symdiff

Methods inherited from class java.lang.Object

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

Field Detail

name

public final String name

The name of this element.

Constructor Detail

NamedElement

public NamedElement(Lattice lattice,
                    String name)

Create a new abstract element, initialising its containing lattice and its name.

Parameters:

lattice - the containing lattice of this abstract element.

name - a name for this element.

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object