| version 1.78, 2009/03/27 14:42:29 |
version 1.82, 2012/12/17 07:20:45 |
|
|
| * 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/include/ca.h,v 1.77 2009/03/16 16:56:35 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/ca.h,v 1.81 2011/06/16 08:17:15 noro Exp $ |
| */ |
*/ |
| #include <stdio.h> |
#include <stdio.h> |
| #include <stdlib.h> |
#include <stdlib.h> |
| Line 90 typedef void * pointer; |
|
| Line 90 typedef void * pointer; |
|
| #endif |
#endif |
| #endif |
#endif |
| |
|
| |
#define NULLP ((void *)0) |
| |
|
| #define TODO printf("%s: not implemented!\n", __func__) |
#define TODO printf("%s: not implemented!\n", __func__) |
| |
|
| #define COPY(a,b) ((b)=(a)) |
#define COPY(a,b) ((b)=(a)) |
| Line 621 struct order_spec { |
|
| Line 623 struct order_spec { |
|
| Obj obj; |
Obj obj; |
| int nv; |
int nv; |
| int ispot; /* 1 means Position over Term (Pos then Term) */ |
int ispot; /* 1 means Position over Term (Pos then Term) */ |
| |
int pot_nelim; /* size of positions for pot-elimination order */ |
| union { |
union { |
| int simple; |
int simple; |
| struct { |
struct { |
| Line 723 typedef unsigned int ModNum; |
|
| Line 726 typedef unsigned int ModNum; |
|
| |
|
| /* memory allocators (W_... : uses alloca) */ |
/* memory allocators (W_... : uses alloca) */ |
| |
|
| #if 0 |
|
| #define MALLOC(d) Risa_GC_malloc(d) |
#define MALLOC(d) Risa_GC_malloc(d) |
| #define MALLOC_ATOMIC(d) Risa_GC_malloc_atomic(d) |
#define MALLOC_ATOMIC(d) Risa_GC_malloc_atomic(d) |
| |
#define MALLOC_ATOMIC_IGNORE_OFF_PAGE(d) Risa_GC_malloc_atomic_ignore_off_page(d) |
| #define REALLOC(p,d) Risa_GC_realloc(p,d) |
#define REALLOC(p,d) Risa_GC_realloc(p,d) |
| #else |
#define GCFREE(p) Risa_GC_free(p) |
| #define MALLOC(d) GC_malloc(d) |
|
| #define MALLOC_ATOMIC(d) GC_malloc_atomic(d) |
|
| #define REALLOC(p,d) GC_realloc(p,d) |
|
| #endif |
|
| #define CALLOC(d,e) MALLOC((d)*(e)) |
#define CALLOC(d,e) MALLOC((d)*(e)) |
| |
|
| #if !defined(__CYGWIN__) && (defined(__GNUC__) || defined(vax) || defined(apollo) || defined(alloca) || defined(VISUAL)) |
#if !defined(__CYGWIN__) && (defined(__GNUC__) || defined(vax) || defined(apollo) || defined(alloca) || defined(VISUAL)) |
| Line 1317 void copyn(N,int,int *); |
|
| Line 1316 void copyn(N,int,int *); |
|
| void kmulnmain(N,N,N *); |
void kmulnmain(N,N,N *); |
| int qcoefp(Obj); |
int qcoefp(Obj); |
| int qcoefr(Obj); |
int qcoefr(Obj); |
| long get_allocwords(void); |
size_t get_allocwords(void); |
| double get_clock(void); |
double get_clock(void); |
| void get_eg(struct oEGT *); |
void get_eg(struct oEGT *); |
| void printtime(struct oEGT *,struct oEGT *,double); |
void printtime(struct oEGT *,struct oEGT *,double); |