src/cmuBdd/bddwarn.c File Reference

#include <stdio.h>
#include <stdarg.h>
#include "bddint.h"

Include dependency graph for bddwarn.c:

Functions
void	exit ()
void	cmu_bdd_warning (char *message)
void	cmu_bdd_fatal (char *message)
int	bdd_check_arguments (int count,...)
void	bdd_check_array (bdd *fs)

Function Documentation

int bdd_check_arguments	(	int	count,
			...
	)

Definition at line 40 of file bddwarn.c.

00041 {
00042   int all_valid;
00043   va_list ap;
00044   bdd f;
00045 
00046   va_start(ap, count);
00047   all_valid=1;
00048   while (count)
00049     {
00050       f=va_arg(ap, bdd);
00051       {
00052         BDD_SETUP(f);
00053         if (!f)
00054           all_valid=0;
00055         else if (BDD_REFS(f) == 0)
00056           cmu_bdd_fatal("bdd_check_arguments: argument has zero references");
00057       }
00058       --count;
00059     }
00060   return (all_valid);
00061 }

void bdd_check_array ( bdd * fs )

Definition at line 65 of file bddwarn.c.

00066 {
00067   while (*fs)
00068     {
00069       bdd_check_arguments(1, *fs);
00070       ++fs;
00071     }
00072 }

void cmu_bdd_fatal ( char * message )

Definition at line 31 of file bddwarn.c.

00032 {
00033   fprintf(stderr, "BDD library: error: %s\n", message);
00034   exit(1);
00035   /* NOTREACHED */
00036 }

void cmu_bdd_warning ( char * message )

Definition at line 22 of file bddwarn.c.

00023 {
00024   fprintf(stderr, "BDD library: warning: %s\n", message);
00025 }

void exit ( )

src/cmuBdd/bddwarn.c File Reference

Functions

Function Documentation