genall.c

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

/***************************************************************************/
/***                                                                     ***/
/***                  genall.c (Version 1.0)                             ***/
/***                                                                     ***/
/***       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                       ***/
/***                                                                     ***/
/***************************************************************************/


/* generates all 256 RCC8 Relations and ouputs them to stdout */

#include "rcc8.h"
#include "rcc8io.h"

void main()
{
  int i;
  char relstr[100];

  for (i=1; i<MAXSET; i++) {
    sprrel(relstr,i);
    printf("%s\n",relstr);
  }
  printf(".\n");
}