view release on metacpan or  search on metacpan

XS.xs  view on Meta::CPAN

    {
      bdd_error (BDD_ILLBDD);
      return 0;
    }

  if (bddnodes[bdd].refcou == 0)
    {
      fprintf (stderr, "ERROR: refcount is zero\n");
      return 0;
    }
  // refcount for TRUE and FALSE is saturated by default, ignore them!
  if (bdd > 2 && bddnodes[bdd].refcou == MAXREF)
    {
      fprintf (stderr, "ERROR: refcount is saturated\n");
      return 0;
    }

  return 1;
}

void printSet_rec(char *txt, int level, int bdd)

common.h  view on Meta::CPAN

static int has_bdd = 0;

static int varnum = 0;		// max vars
static int varcount = 0;	// current var count!


#define MAX_NODES 8000000
#define MIN_NODES 1000


#define MAX_NODE_INCREASE 200000	/* default value is 50000 */

// -------------------------------------
#define CHECK_BDD(bdd)		/* do nothing */

// --------------------------------------------------------------------------------