Ejemplos de initCollectRelevantAnswers en C++ (Cpp)

Ejemplo n.º 1

Archivo: tst_utils.c Proyecto: eden/navajoverb

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();
}

Ejemplo n.º 2

Archivo: tst_utils.c Proyecto: De-Lac/Dynamic-Verification-of-Service-Based-Systems

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);
}