|
3 | 3 | Author: Henny Sipma |
4 | 4 | ------------------------------------------------------------------------------ |
5 | 5 | The MIT License (MIT) |
6 | | - |
| 6 | +
|
7 | 7 | Copyright (c) 2005-2020 Kestrel Technology LLC |
| 8 | + Copyright (c) 2020-2025 Henny B. Sipma |
8 | 9 |
|
9 | 10 | Permission is hereby granted, free of charge, to any person obtaining a copy |
10 | 11 | of this software and associated documentation files (the "Software"), to deal |
11 | 12 | in the Software without restriction, including without limitation the rights |
12 | 13 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
13 | 14 | copies of the Software, and to permit persons to whom the Software is |
14 | 15 | furnished to do so, subject to the following conditions: |
15 | | - |
| 16 | +
|
16 | 17 | The above copyright notice and this permission notice shall be included in all |
17 | 18 | copies or substantial portions of the Software. |
18 | | - |
| 19 | +
|
19 | 20 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
20 | 21 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
21 | 22 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
@@ -62,7 +63,7 @@ class type sidechannelcheck_int = |
62 | 63 |
|
63 | 64 | class type costmodel_int = |
64 | 65 | object |
65 | | - |
| 66 | + |
66 | 67 | (* utility *) |
67 | 68 | method mk_bottom: 'a |
68 | 69 | method mk_top : 'a |
|
88 | 89 | (* xml *) |
89 | 90 | method write_xml_cost: xml_element_int -> 'a -> unit |
90 | 91 | method save_xml_class: class_info_int -> unit |
91 | | - method save_xml_atlas_class: class_info_int -> unit |
| 92 | + method save_xml_atlas_class: class_info_int -> unit |
92 | 93 | method read_xml_cost: xml_element_int -> unit |
93 | 94 | method read_xml_class: class_info_int -> unit |
94 | 95 |
|
|
0 commit comments