/* lid.c 11-11-89
***** This is the cover file for the LOGIC, ISOM and *****
***** DIALOG modules of the program MaGIC.c. It only *****
***** contains the header for the common structures, *****
***** the #include statements and initialisation. *****/
/***********************************************************/
#define LOGICS "FD, B, DW, TW, EW, C, T, E, R, CK and S4."
#define FD 0
#define B 4
#define DW 7
#define TW 11
#define EW 15
#define RW 19
#define T 22
#define E 25
#define R 28
#define CK 31
#define S4 38
#define AxX 1
#define AxBA 2
#define AxSBA 3
#define AxW2 4
#define AxK 5
#define AxK2 6
#define AxM 7
#define AxRED 8
#define AxC3 9
#define AxCt 10
#define Axat 11
#define AxTF 12
#define AxB 13
#define AxB2 14
#define AxC2 15
#define AxW 16
#define AxC 17
#define AxWB 18
#define FORALL(x) for (x=0; x<=siz; x++)
#define FORaLL(x) for (x=siz; x>=0; x--)
nt nulladic[CMAX], /* Defined sential const. */
monadic[CMAX][SZ], /* Defined connectives */
dyadic[CMAX][SZ][SZ], /* Ditto */
vu[4], rvu[4], /* Variables used in wffs */
badvalue[4], /* Refuting assignment */
siz, /* Highest value */
filing = 0, /* Output file open (flag) */
tot, /* Total matrices tested this time */
isoms, /* Isomorphs omitted */
zero = 0; /* Dummy integer */
SBF subf[FMAX], /* Local formula array for testing */
*tx; /* Last active subformula */
char *malloc();
/***********************************************************/
#include "logic.c"
#include "isom.c"
#include "dialog.c"
/***********************************************************/
#ifdef PARALLEL
lm_initial() /*** Set up limbo and mat_buffer***/
{ int i;
for ( i = 0; i < MMAX-1; i++ )
gm->limbo[i].nextmat = gm->limbo+i+1;
gm->limbo[MMAX-1].nextmat = 0;
for ( i = 0; i < MBMAX-1; i++ )
gm->mat_buffer[i].nextmat = gm->mat_buffer+i+1;
gm->mat_buffer[MBMAX-1].nextmat = 0;
}
#endif
.
