org.stekikun.dolmen.automaton

Class DFA.MemMap

java.lang.Object

org.stekikun.dolmen.automaton.DFA.MemMap

Enclosing class:

DFA

public static final class DFA.MemMap
extends Object

A memory map describes what memory cell corresponds to each tag. Tags which are not bound in locs are uninitialized.

Author:

Stéphane Lescuyer

Field Summary

Fields

Modifier and Type	Field and Description
Map<TRegular.TagInfo,Integer>	locs Memory addresses associated to each initialized tag
int	priority Priority

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

priority

public final int priority

Priority

locs

public final Map<TRegular.TagInfo,Integer> locs

Memory addresses associated to each initialized tag

Method Detail

toString

public String toString()

Overrides:

toString in class Object