de.rwth.i2.attestor.graph.digraph

Interface NodeLabel

All Known Subinterfaces:

IndexedNonterminal, Nonterminal, RefinedNonterminal, Type

All Known Implementing Classes:

BasicNonterminal, GeneralType, IndexedNonterminalImpl, RefinedDefaultNonterminal, Variable

public interface NodeLabel

General interface for all node labels that may occur in as labels of nodes in a LabeledDigraph.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
default boolean	matches(NodeLabel other)

Method Detail

matches

default boolean matches(NodeLabel other)

Parameters:

other - Some other NodeLabel.

Returns:

True if and only if this NodeLabel and other are considered to match. Note that, depending on the label, this might not necessarily coincide with equals().