Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /lexgen/releases/release-110.61/src/reg-exp-sig.sml
ViewVC logotype

Annotation of /lexgen/releases/release-110.61/src/reg-exp-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2110 - (view) (download)
Original Path: lexgen/trunk/src/reg-exp-sig.sml

1 : mblume 1902 (* reg-exp-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 2005
4 :     * John Reppy (http://www.cs.uchicago.edu/~jhr)
5 :     * Aaron Turon (adrassi@gmail.com)
6 :     * All rights reserved.
7 :     *
8 :     * RE representation and manipulation
9 :     *)
10 :    
11 :     signature REG_EXP =
12 :     sig
13 :    
14 :     structure Sym : INTERVAL_DOMAIN
15 :     structure SymSet : INTERVAL_SET
16 :    
17 :     type symbol
18 :     type sym_set
19 :     type re
20 :    
21 :     val any : re (* wildcard *)
22 :     val none : re (* EMPTY language *)
23 :     val epsilon : re (* the nil character (of length 0) *)
24 :    
25 :     val mkSym : symbol -> re
26 :     val mkSymSet : sym_set -> re
27 :    
28 :     val mkOr : re * re -> re
29 :     val mkAnd : re * re -> re
30 :     val mkXor : re * re -> re
31 :     val mkNot : re -> re
32 :     val mkConcat : re * re -> re
33 :     val mkClosure : re -> re
34 :     val mkOpt : re -> re
35 :     val mkRep : re * int * int -> re
36 :     val mkAtLeast : re * int -> re
37 :    
38 :     val isNone : re -> bool
39 :     val nullable : re -> bool
40 :     val derivative : symbol -> re -> re
41 :     val derivatives : re Vector.vector ->
42 :     ((re Vector.vector) * sym_set) list
43 :    
44 :     val symToString : symbol -> string
45 :     val toString : re -> string
46 :     val compare : re * re -> order
47 :    
48 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0