rcc8op.h

利用空间表示的rcc8模型进行空间推理

/***************************************************************************/
/***                                                                     ***/
/***                  rcc8op.h                                           ***/
/***                                                                     ***/
/***       Ronny Fehling, Bernhard Nebel, Jochen Renz  - March 1998      ***/
/***                                                                     ***/
/***         fehling, nebel, [e-mail]             ***/
/***                                                                     ***/
/***          http://www.informatik.uni-freiburg.de/~sppraum             ***/
/***                                                                     ***/
/***                      Institut fuer Informatik                       ***/
/***                     Albert-Ludwigs-Universitaet                     ***/
/***                           Am Flughafen 17                           ***/
/***                       79110 Freiburg, Germany                       ***/
/***                                                                     ***/
/***************************************************************************/


extern RELTYPE fcomp[MAXSET][MAXSET];
extern RELTYPE invtab[MAXSET];
extern int vtab[MAXSET];

extern RELTYPE inverse(RELTYPE r);
extern int relvalue(RELTYPE r);
extern void initfop();

#define FINV(r) 	(invtab[r])
#define FCOMP(r1,r2)    fcomp[r1][r2]
#define FVAL(r)         (vtab[r])