version 1.2, 2019/06/04 07:11:23 |
version 1.3, 2019/10/17 03:03:12 |
|
|
/* |
/* |
* $OpenXM: OpenXM_contrib2/asir2018/include/interval.h,v 1.1 2018/09/19 06:00:58 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/include/interval.h,v 1.2 2019/06/04 07:11:23 kondoh Exp $ |
*/ |
*/ |
#ifndef _INTERVAL_H |
#ifndef _INTERVAL_H |
#define _INTERVAL_H |
#define _INTERVAL_H |
Line 229 int itvinitv(Itv, Itv); |
|
Line 229 int itvinitv(Itv, Itv); |
|
void divitv(Num, Num, Num *); |
void divitv(Num, Num, Num *); |
void sqrtitv(Num, Num *); |
void sqrtitv(Num, Num *); |
void pwritv(Num, Num, Num *); |
void pwritv(Num, Num, Num *); |
void pwritv0(Itv, int, Itv *); |
void pwritv0(Itv, long, Itv *); |
void chsgnitv(Num, Num *); |
void chsgnitv(Num, Num *); |
void miditv(Itv, Num *); |
void miditv(Itv, Num *); |
int cmpitv(Itv, Itv); |
int cmpitv(Itv, Itv); |
Line 248 void subitvp(Itv, Itv, Itv *); |
|
Line 248 void subitvp(Itv, Itv, Itv *); |
|
void mulitvp(Itv, Itv, Itv *); |
void mulitvp(Itv, Itv, Itv *); |
void divitvp(Itv, Itv, Itv *); |
void divitvp(Itv, Itv, Itv *); |
void pwritvp(Itv, Num, Itv *); |
void pwritvp(Itv, Num, Itv *); |
void pwritv0p(Itv, int, Itv *); |
void pwritv0p(Itv, long, Itv *); |
void chsgnitvp(Itv, Itv *); |
void chsgnitvp(Itv, Itv *); |
int initvp(Num , Itv ); |
int initvp(Num , Itv ); |
int itvinitvp(Itv, Itv); |
int itvinitvp(Itv, Itv); |
Line 278 int initvf(Num, Itv); |
|
Line 278 int initvf(Num, Itv); |
|
int itvinitvf(Itv, Itv); |
int itvinitvf(Itv, Itv); |
int cmpitvf(Itv, Itv); |
int cmpitvf(Itv, Itv); |
void pwritvf(Itv, Num, Itv *); |
void pwritvf(Itv, Num, Itv *); |
void pwritv0f(Itv, int, Itv *); |
void pwritv0f(Itv, long, Itv *); |
void miditvf(Itv, Num *); |
void miditvf(Itv, Num *); |
void cupitvf(Itv, Itv, Itv *); |
void cupitvf(Itv, Itv, Itv *); |
void capitvf(Itv, Itv, Itv *); |
void capitvf(Itv, Itv, Itv *); |
Line 299 void chsgnitvd(IntervalDouble, IntervalDouble *); |
|
Line 299 void chsgnitvd(IntervalDouble, IntervalDouble *); |
|
int initvd(Num, IntervalDouble); |
int initvd(Num, IntervalDouble); |
int cmpitvd(IntervalDouble, IntervalDouble); |
int cmpitvd(IntervalDouble, IntervalDouble); |
void pwritvd(Num, Num, IntervalDouble *); |
void pwritvd(Num, Num, IntervalDouble *); |
void pwritv0d(IntervalDouble, int, IntervalDouble *); |
void pwritv0d(IntervalDouble, long, IntervalDouble *); |
void miditvd(IntervalDouble, Num *); |
void miditvd(IntervalDouble, Num *); |
void cupitvd(IntervalDouble, IntervalDouble, IntervalDouble *); |
void cupitvd(IntervalDouble, IntervalDouble, IntervalDouble *); |
void capitvd(IntervalDouble, IntervalDouble, IntervalDouble *); |
void capitvd(IntervalDouble, IntervalDouble, IntervalDouble *); |