Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: DFATrans.i3.html,v 1.3 2010-04-29 17:18:49 wagner Exp $
INTERFACE DFATrans;
IMPORT Word;
CONST
Brand = "DFATrans";
TYPE
T = RECORD
keyBegin: CHAR;
keyEnd: CHAR;
target: INTEGER;
prio: INTEGER := -1; (* first, prio is used in Sorting after Tally. *)
(* then, when merging transition list tails, prio is the ID of
the next transition in DFA.T.trans *)
END;
PROCEDURE Format(a:T): TEXT;
PROCEDURE Equal(a,b:T): BOOLEAN;
PROCEDURE Hash(a:T): Word.T;
END DFATrans.