[/] [trunk/] [src/] [cmdlang/] [nta_util.sig] - Blame information for rev 25

Line No. Rev Author Line
1 4 tbourke 
(* $Id: nta_util.sig 20 2007-12-03 05:36:37Z tbourke $ *)
2 
 
3 
signature NTA_UTIL =
4 
sig
5 
  type symbol = Atom.atom
6 
 
7 
  val warnIfCommitted     : ParsedNta.template -> unit
8 
  val warnOnChannels      : ParsedNta.template -> unit
9 
 
10 
  val expandUrgentLocs    : ParsedNta.template -> ParsedNta.template
11 
 
12 17 tbourke 
  val actions             : ParsedNta.template
13 4 tbourke 
                            -> (symbol * Expression.direction) list
14 
  val channels            : ParsedNta.template -> symbol list
15 17 tbourke 
  val channelSet          : ParsedNta.template -> AtomSet.set
16 4 tbourke 
 
17 
  exception CannotSplitChannelArrays
18 
  val split               : ParsedNta.template *
19 
                              (symbol * Expression.direction) ActionMap.map
20 
                            -> ParsedNta.template
21 
 
22 19 tbourke 
  val locsWithoutPositions : ParsedNta.template -> (ParsedNta.locId -> bool)
23 
 
24 4 tbourke 
  val stripTransitionIds  : ParsedNta.template -> ParsedNta.template
25 
  val addTransitionIds    : (ParsedNta.transition -> bool) ->
26 
                            ParsedNta.template -> ParsedNta.template
27 
 
28 
  val addTransitions      : ParsedNta.template * ParsedNta.transition list
29 
                            -> ParsedNta.template
30 
 
31 
  val makeInputEnabler    : ((symbol * Expression.direction) list
32 
                                                        * Environment.env)
33 
                            -> ParsedNta.template
34 
 
35 
  val namesetToLocset     : AtomSet.set * ParsedNta.template
36 
                            -> IntBinarySet.set
37 20 tbourke 
 
38 
  val scaleClocks : ParsedNta.template * Expression.expr -> ParsedNta.template
39 
 
40 4 tbourke 
end
41