org.stekikun.dolmen.automaton

Class DFA.Key

java.lang.Object

org.stekikun.dolmen.automaton.DFA.Key

Enclosing class:

DFA

public static final class DFA.Key
extends Object

A key is an abstraction of a DFA state which represents the set of NFA states and memory maps that the DFA state stands for, in such a way that two different states with the same key can be made equal by copying some memory cells in others.

Author:

Stéphane Lescuyer

Field Summary

Fields

Modifier and Type	Field and Description
Set<DFA.TEquiv>	mem The set of DFA.TEquiv structures which abstract, for every tag defined in the DFA state,
Set<NFA.Event>	state The set of NFA states (the 'untagged' DFA state)

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

state

public final Set<NFA.Event> state

The set of NFA states (the 'untagged' DFA state)

mem

public final Set<DFA.TEquiv> mem

The set of DFA.TEquiv structures which abstract, for every tag defined in the DFA state,

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object