Searched refs:factList (Results 1 – 11 of 11) sorted by relevance
95 struct fact *factList; member
558 theTemplate->factList = theTemplate->factList->nextTemplateFact; in EnvRetract()559 if (theTemplate->factList != NULL) in EnvRetract()560 { theTemplate->factList->previousTemplateFact = NULL; } in EnvRetract()773 { theFact->whichDeftemplate->factList = theFact; } in EnvAssert()
456 { return((void *) ((struct deftemplate *) theTemplate)->factList); } in EnvGetNextFactInTemplate()
499 newDeftemplate->factList = NULL; in CreateImpliedDeftemplate()
918 theFact = templatePtr->factList; in TestForFirstFactInTemplate()1025 theFact = templatePtr->factList; in TestEntireTemplate()
502 theDeftemplate->factList = NULL; in UpdateDeftemplate()
171 newDeftemplate->factList = NULL; in ParseDeftemplate()
116 sepfact(factList) ==117 "append"/[sepFact1(f) for f in factList]
274 factList : poly2list(factor(shiftRes)),276 intFactList : first(splitList(factList, lambda([y],integerLinear(y,j)and degree(y,j)>0))),
224 ((|factList| |List|233 (SEQ (LETT |f| NIL) (LETT #5# |factList|) G190
2108 CELL * factList;2115 factList = getCell(CELL_EXPRESSION);2120 for(i = 0; i < k; i++) addList(factList, stuffInteger64(d));2126 for(i = 0; i < k; i++) addList(factList, stuffInteger64(d));2130 addList(factList, stuffInteger64(n));2132 return(factList);