version 1.7, 2000/01/16 07:55:38 |
version 1.9, 2000/02/24 00:27:12 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.6 1999/11/27 01:41:10 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.8 2000/02/02 09:07:59 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
Line 86 int Criterion2B = 0; |
|
Line 86 int Criterion2B = 0; |
|
int Criterion2M = 0; |
int Criterion2M = 0; |
int Criterion2F = 0; |
int Criterion2F = 0; |
int Statistics = 0; |
int Statistics = 0; |
|
int AutoReduce = 0; |
int CheckHomogenization = 1; |
int CheckHomogenization = 1; |
int ErrorMessageMode = 0; |
int ErrorMessageMode = 0; |
int WarningMessageMode = 0; |
int WarningMessageMode = 0; |
Line 124 int Lookup[TYPES][TYPES]; |
|
Line 125 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "3.000116"; |
char *VersionString = "3.000222"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |