org.stekikun.dolmen.automaton

Class DFA.TEquiv

java.lang.Object

org.stekikun.dolmen.automaton.DFA.TEquiv

Enclosing class:

DFA

public static final class DFA.TEquiv
extends Object

Abstraction of the memory maps in a DFA state Describes a tag and all the possible sets of transitions that use this tag with some common memory cell. This representation is not dependent of the particular memory cells used and therefore DFA states with the same DFA.TEquiv structure have similar memory maps that could be made the same by moving some memory cells around.

Author:

Stéphane Lescuyer

Field Summary

Fields

Modifier and Type	Field and Description
Set<Set<NFA.Event>>	equiv Sets of NFA states which define the tag in a common memory cell
TRegular.TagInfo	tag A tag

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

tag

public final TRegular.TagInfo tag

A tag

equiv

public final Set<Set<NFA.Event>> equiv

Sets of NFA states which define the tag in a common memory cell

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object