globle void *AssertString( char *theString) { struct fact *theFact; if ((theFact = StringToFact(theString)) == NULL) return(NULL); return((void *) Assert((void *) theFact)); }
static void ResetDeftemplates( void *theEnv) { struct fact *factPtr; factPtr = StringToFact(theEnv,(char*)"(initial-fact)"); if (factPtr == NULL) return; EnvAssert(theEnv,(void *) factPtr); }
static void ResetDeftemplates() { #if ! DEFFACTS_CONSTRUCT struct fact *factPtr; factPtr = StringToFact("(initial-fact)"); if (factPtr == NULL) return; Assert((void *) factPtr); #endif }