[/] [trunk/] [src/] [cmdlang/] [nta_util.sig] -
Diff 19 ⟶ 20
Diff between revs
19
and
20
| Rev 19 |
Rev 20 |
|---|
| Line 1... |
Line 1... |
(* $Id: nta_util.sig 19 2007-11-27 00:20:37Z tbourke $ *)
|
(* $Id: nta_util.sig 20 2007-12-03 05:36:37Z tbourke $ *)
|
|
|
signature NTA_UTIL =
|
signature NTA_UTIL =
|
sig
|
sig
|
type symbol = Atom.atom
|
type symbol = Atom.atom
|
|
|
| Line 32... |
Line 32... |
* Environment.env)
|
* Environment.env)
|
-> ParsedNta.template
|
-> ParsedNta.template
|
|
|
val namesetToLocset : AtomSet.set * ParsedNta.template
|
val namesetToLocset : AtomSet.set * ParsedNta.template
|
-> IntBinarySet.set
|
-> IntBinarySet.set
|
|
|
|
val scaleClocks : ParsedNta.template * Expression.expr -> ParsedNta.template
|
|
|
end
|
end
|
|
|
|
|