Searched refs:lastFact (Results 1 – 5 of 5) sorted by relevance
96 struct fact *lastFact; member
553 if (theFact == theTemplate->lastFact) in EnvRetract()554 { theTemplate->lastFact = theFact->previousTemplateFact; } in EnvRetract()769 theFact->previousTemplateFact = theFact->whichDeftemplate->lastFact; in EnvAssert()772 if (theFact->whichDeftemplate->lastFact == NULL) in EnvAssert()775 { theFact->whichDeftemplate->lastFact->nextTemplateFact = theFact; } in EnvAssert()777 theFact->whichDeftemplate->lastFact = theFact; in EnvAssert()
500 newDeftemplate->lastFact = NULL; in CreateImpliedDeftemplate()
503 theDeftemplate->lastFact = NULL; in UpdateDeftemplate()
172 newDeftemplate->lastFact = NULL; in ParseDeftemplate()