void tstInitDataStructs() { extern void initCollectRelevantAnswers(void); extern void initSubsumptiveLookup(void); DynStk_Init(&tstTermStack, TST_TERMSTACK_INITSIZE, Cell, "TST Term Stack"); DynStk_Init(&tstTermStackLog, TST_TERMSTACKLOG_INITSIZE, tstLogFrame, "TST TermStackLog"); DynStk_Init(&tstSymbolStack, TST_SYMBOLSTACK_INITSIZE, Cell, "Trie-Symbol Stack"); DynStk_Init(&tstTrail, TST_TRAIL_INITSIZE, CPtr, "TST Trail"); initSubsumptiveLookup(); initCollectRelevantAnswers(); }
void tstInitDataStructs(CTXTdecl) { extern void initCollectRelevantAnswers(CTXTdecl); extern void initSubsumptiveLookup(CTXTdecl); DynStk_Init(&tstTermStack, 0 /*TST_TERMSTACK_INITSIZE*/, Cell, "TST Term Stack"); DynStk_Init(&tstTermStackLog, 0 /*TST_TERMSTACKLOG_INITSIZE*/, tstLogFrame, "TST TermStackLog"); DynStk_Init(&tstSymbolStack, 0 /*TST_SYMBOLSTACK_INITSIZE*/, Cell, "Trie-Symbol Stack"); DynStk_Init(&tstTrail, 0 /*TST_TRAIL_INITSIZE*/, CPtr, "TST Trail"); DynStk_Init(&simplGoalStack, 0 /*TST_TRAIL_INITSIZE*/, Cell, "simplGoalStack"); DynStk_Init(&simplAnsStack, 0 /*TST_TRAIL_INITSIZE*/, Cell, "simplAnsStack"); initSubsumptiveLookup(CTXT); initCollectRelevantAnswers(CTXT); }