Ejemplo n.º 1
0
globle void *AssertString(
  char *theString)
  {
   struct fact *theFact;

   if ((theFact = StringToFact(theString)) == NULL) return(NULL);

   return((void *) Assert((void *) theFact));
  }
Ejemplo n.º 2
0
static void ResetDeftemplates(
  void *theEnv)
  {
   struct fact *factPtr;

   factPtr = StringToFact(theEnv,(char*)"(initial-fact)");

   if (factPtr == NULL) return;

   EnvAssert(theEnv,(void *) factPtr);
 }
Ejemplo n.º 3
0
static void ResetDeftemplates()
  {
#if ! DEFFACTS_CONSTRUCT
   struct fact *factPtr;

   factPtr = StringToFact("(initial-fact)");

   if (factPtr == NULL) return;

   Assert((void *) factPtr);
#endif
 }