[/] [trunk/] [src/] [maketest/] [clock_expression.sig] -
Diff 11 ⟶ 19
Diff between revs
11
and
19
| Rev 11 |
Rev 19 |
|---|
| Line 1... |
Line 1... |
(* $Id: clock_expression.sig 11 2007-11-02 05:30:42Z tbourke $ *)
|
(* $Id: clock_expression.sig 19 2007-11-27 00:20:37Z tbourke $ *)
|
|
|
signature CLOCK_EXPRESSION = sig
|
signature CLOCK_EXPRESSION = sig
|
|
|
exception NonClockTerm
|
exception NonClockTerm
|
|
|
| Line 31... |
Line 31... |
* -> result * forall bindings * usednames' -- now in prenex form *)
|
* -> result * forall bindings * usednames' -- now in prenex form *)
|
|
|
val toExpr : t * (symbol * Expression.ty) list -> Expression.expr
|
val toExpr : t * (symbol * Expression.ty) list -> Expression.expr
|
|
|
val rename : {old: symbol, new: symbol} * t -> t
|
val rename : {old: symbol, new: symbol} * t -> t
|
val conflictExists : symbolset * symbolset * t -> bool
|
val conflictExists : symbolset * symbolset * clockterm list list -> bool
|
|
|
val toDNF : t -> clockterm list list
|
val toDNF : t -> clockterm list list
|
val fromDNF : clockterm list list -> t
|
val fromDNF : clockterm list list -> t
|
val andexpr : t * t -> t
|
val andexpr : t * t -> t
|
|
|
|
|