version 1.2, 2019/06/04 07:11:23 |
version 1.3, 2019/10/17 03:03:12 |
|
|
/* |
/* |
* $OpenXM: OpenXM_contrib2/asir2018/builtin/isolv.c,v 1.1 2018/09/19 05:45:06 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/builtin/isolv.c,v 1.2 2019/06/04 07:11:23 kondoh Exp $ |
*/ |
*/ |
|
|
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
#include "version.h" |
#include "version.h" |
|
|
#if defined(INTERVAL) |
#if defined(INTERVAL) |
|
|
static void Solve(NODE, Obj *); |
static void Solve(NODE, Obj *); |
static void NSolve(NODE, Obj *); |
static void NSolve(NODE, Obj *); |
|
|
V v; |
V v; |
Q eps; |
Q eps; |
|
|
|
|
|
*rp = 0; |
|
#if 0 |
p = (pointer)ARG0(arg); |
p = (pointer)ARG0(arg); |
if ( !p ) { |
if ( !p ) { |
*rp = 0; |
*rp = 0; |
|
|
default: |
default: |
*rp = 0; |
*rp = 0; |
} |
} |
|
#endif |
} |
} |
|
|
static void |
static void |
Line 93 NSolve(NODE arg, Obj *rp) |
|
Line 97 NSolve(NODE arg, Obj *rp) |
|
Itv iv; |
Itv iv; |
BF breal; |
BF breal; |
|
|
|
*rp = 0; |
|
#if 0 |
|
|
p = (pointer)ARG0(arg); |
p = (pointer)ARG0(arg); |
if ( !p ) { |
if ( !p ) { |
*rp = 0; |
*rp = 0; |
|
|
*rp = t; |
*rp = t; |
} |
} |
} |
} |
|
#endif |
} |
} |
#endif |
#endif |