version 1.1.1.1, 1999/10/08 02:12:01 |
version 1.9, 2000/02/24 00:27:12 |
|
|
/* global.c */ |
/* 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 = "2.990914"; |
char *VersionString = "3.000222"; |
|
|
|
char *LeftBracket = NULL; |
|
char *RightBracket = NULL; |
|
|
int AvoidTheSameRing = 1; |
int AvoidTheSameRing = 1; |
int DebugCMO = 0; /* plugin/cmo.c */ |
int DebugCMO = 0; /* plugin/cmo.c */ |
int OXprintMessage = 1; /* referred only from ox_sm1 plugin/ox.hh */ |
int OXprintMessage = 1; /* referred only from ox_sm1 plugin/ox.hh */ |
Line 137 stackmachine_init() { |
|
Line 141 stackmachine_init() { |
|
int i,j; |
int i,j; |
OxSystemVersion = VersionString; |
OxSystemVersion = VersionString; |
Fstack = stdout; /* initialize output stream */ |
Fstack = stdout; /* initialize output stream */ |
|
LeftBracket = "["; RightBracket = "]"; |
/* initialize null object */ |
/* initialize null object */ |
NullObject.tag = 0; |
NullObject.tag = 0; |
NullObject.lc.op = NullObject.rc.op = (struct object *)NULL; |
NullObject.lc.op = NullObject.rc.op = (struct object *)NULL; |