| version 1.10, 2001/10/09 01:36:20 |
version 1.11, 2002/01/08 04:14:38 |
|
|
| * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
| * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
| * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
| * $OpenXM: OpenXM_contrib2/asir2000/io/bsave.c,v 1.9 2001/09/03 07:01:08 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/io/bsave.c,v 1.10 2001/10/09 01:36:20 noro Exp $ |
| */ |
*/ |
| /* saveXXX must not use GC_malloc(), GC_malloc_atomic(). */ |
/* saveXXX must not use GC_malloc(), GC_malloc_atomic(). */ |
| |
|
| Line 148 void saveitv(FILE *s,Itv p) |
|
| Line 148 void saveitv(FILE *s,Itv p) |
|
| saveobj(s,(Obj)SUP(p)); |
saveobj(s,(Obj)SUP(p)); |
| } |
} |
| |
|
| void saveitvd(FILE *s,ItvD p) |
void saveitvd(FILE *s,IntervalDouble p) |
| { |
{ |
| write_double(s,&INF(p)); |
write_double(s,&INF(p)); |
| write_double(s,&SUP(p)); |
write_double(s,&SUP(p)); |