NamedElement (LaMa4J 1.1.1)

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 Description

String name
The name of this element.

Fields inherited from class it.unimi.dsi.lama4j.AbstractElement
lattice
Constructor Summary

Constructors

Constructor Description

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

Modifier and Type Method 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 Details
- name
  
  public final String name
  
  The name of this element.
Constructor Details
- 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 Details
- 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