Quelle is_space_exhausted.c Sprache: C

/****************************************************************************
**
*A  is_space_exhausted.c        ANUPQ source                   Eamonn O'Brien
**
*Y  Copyright 1995-2001,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
*Y  Copyright 1995-2001,  School of Mathematical Sciences, ANU,     Australia
**
*/

#include "pq_defs.h"
#include "pcp_vars.h"

/* beware - calls to this procedure are context sensitive since
   it may call compact which moves strings; hence, calls should
   be carefully placed with a suitable upper bound as argument;

   check if there is room available for required words;
   if so, return FALSE, otherwise compact the workspace
   and try again; if there is still no room, report this,
   set pcp->overflow TRUE, and return TRUE */

Logical is_space_exhausted(int required, struct pcp_vars *pcp)
{
   register int *y = y_address;

   int remain;

   if (pcp->lused + required - pcp->subgrp <= 0)
      return FALSE;

   /* not enough room currently available, so we compact tables */
   compact(pcp);
   if (pcp->lused + required - pcp->subgrp <= 0)
      return FALSE;
   pcp->overflow = TRUE;
   /* number of generators in last class */
   remain = pcp->lastg - y[pcp->clend + pcp->cc - 1];
   text(11, remain, 0, 0, 0);
   return TRUE;
}

quality97%

¤ Dauer der Verarbeitung: 0.27 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.