[/] [trunk/] [src/] [uppaal/] [result.sig] -
Diff 45 ⟶ 62
Diff between revs
45
and
62
| Rev 45 |
Rev 62 |
|---|
| Line 1... |
Line 1... |
(* $Id: result.sig 7 2007-10-31 05:39:12Z tbourke $ *)
|
(* $Id: result.sig 62 2008-08-20 11:20:33Z tbourke $
|
|
*
|
|
* Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
|
|
* All rights reserved.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
* under the terms of the "BSD License" which is distributed with the
|
|
* software in the file LICENSE.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the BSD
|
|
* License for more details.
|
|
*)
|
|
|
signature RESULT =
|
signature RESULT =
|
sig
|
sig
|
type expr
|
type expr
|
type boundid
|
type boundid
|
type boundid
|
type boundid
|