Ejemplos de printterm en C++ (Cpp)

Ejemplo n.º 1

Archivo: tst_utils.c Proyecto: eden/navajoverb

void printAnswerTemplate(FILE *fp, CPtr pAnsTmplt, int size) {

  int i;

  fprintf(fp, "Answer Template:\n\tret(");
  if (size > 0) {
    for (i = 1; i < size; i++) {
      printterm(fp, *pAnsTmplt--, 10);
      fprintf(fp, ",");
    }
    printterm(fp, *pAnsTmplt, 10);
  }
  fprintf(fp, ")\n");
}

Ejemplo n.º 2

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

void printAnswerTemplate(FILE *fp, CPtr pAnsTmplt, int size) {

  int i;

  fprintf(fp, "Answer Template %p:\n\tret(",pAnsTmplt);
  if (size > 0) {
    for (i = 1; i < size; i++) {
      printf("\t");printterm(fp, *pAnsTmplt--, 10);fprintf(stddbg,"-%p",(void *)*(pAnsTmplt+1));
      fprintf(fp, ",\n");
    }
    printf("\t");printterm(fp, *pAnsTmplt, 10);fprintf(stddbg,"-%p",(void *)*(pAnsTmplt));
  }
  fprintf(fp, "\t\n");
}

Ejemplo n.º 3

Archivo: tst_utils.c Proyecto: eden/navajoverb

void printTabledCall(FILE *fp, TabledCallInfo callInfo) {

  int arity, i;
  Psc pPSC;
  
  pPSC = TIF_PSC(CallInfo_TableInfo(callInfo));
  fprintf(fp, "%s(", get_name(pPSC));
  arity = CallInfo_CallArity(callInfo);
  for (i = 0; i < arity; i++) {
    printterm( fp, (Cell)(CallInfo_Arguments(callInfo)+i), 25 );
    if (i+1 < arity)
      fprintf(fp, ",");
  }
  fprintf(fp, ")");
}