[/] [trunk/] [src/] [maketest/] [clockexpression.sml] -
Diff 43 ⟶ 49
Diff between revs
43
and
49
| Rev 43 |
Rev 49 |
|---|
| Line 1... |
Line 1... |
(* $Id: clockexpression.sml 43 2008-05-09 06:44:05Z tbourke $ *)
|
(* $Id: clockexpression.sml 49 2008-07-21 07:02:40Z tbourke $ *)
|
|
|
structure ClockExpression :> CLOCK_EXPRESSION =
|
structure ClockExpression :> CLOCK_EXPRESSION =
|
let structure E = Expression
|
let structure E = Expression
|
and Env = Environment
|
and Env = Environment
|
and ECVT = ExpressionCvt
|
and ECVT = ExpressionCvt
|
| Line 26... |
Line 26... |
| Or of t * t
|
| Or of t * t
|
|
|
val trueExpr = Term (NonClock E.trueExpr)
|
val trueExpr = Term (NonClock E.trueExpr)
|
val falseExpr = Term (NonClock E.falseExpr)
|
val falseExpr = Term (NonClock E.falseExpr)
|
|
|
|
fun isConstant (Term (NonClock (E.BoolCExpr x))) = SOME x
|
|
| isConstant _ = NONE
|
|
|
(* shortcuts over Atom and AtomSet *)
|
(* shortcuts over Atom and AtomSet *)
|
infix <+ <- ++ <\ \ =:= ; open Symbol
|
infix <+ <- ++ <\ \ =:= ; open Symbol
|
|
|
local (*{{{1*)
|
local (*{{{1*)
|
(* TODO: fix smlnj-lib and replace with:
|
(* TODO: fix smlnj-lib and replace with:
|
(* TODO: fix smlnj-lib and replace with:
|
(* TODO: fix smlnj-lib and replace with:
|