[/] [trunk/] [src/] [maketest/] [clock_expression.sig] -
Diff 35 ⟶ 49
Diff between revs
35
and
49
| Rev 35 |
Rev 49 |
|---|
| Line 1... |
Line 1... |
(* $Id: clock_expression.sig 35 2008-04-01 02:55:38Z tbourke $ *)
|
(* $Id: clock_expression.sig 49 2008-07-21 07:02:40Z tbourke $ *)
|
|
|
(* TODO:
|
(* TODO:
|
* * It might be useful to define a type that carries around both a
|
* * It might be useful to define a type that carries around both a
|
* ClockExpression and its forall bindings (i.e. prenex form), the
|
* ClockExpression and its forall bindings (i.e. prenex form), the
|
* functions should be updated to handle this type properly.
|
* functions should be updated to handle this type properly.
|
| Line 28... |
Line 28... |
| Or of t * t
|
| Or of t * t
|
|
|
val trueExpr : t
|
val trueExpr : t
|
val falseExpr : t
|
val falseExpr : t
|
|
|
|
val isConstant : t -> bool option
|
|
|
val negate : t -> t
|
val negate : t -> t
|
val getFree : t -> symbolset
|
val getFree : t -> symbolset
|
|
|
val fromExpr : symbolset * Environment.env * Expression.expr
|
val fromExpr : symbolset * Environment.env * Expression.expr
|
-> t * (symbol * Expression.ty) list * symbolset
|
-> t * (symbol * Expression.ty) list * symbolset
|
-> t * (symbol * Expression.ty) list * symbolset
|
-> t * (symbol * Expression.ty) list * symbolset
|