ad8d24222a
* buddy/src/bdd.h, buddy/src/bvec.h, buddy/src/fdd.h: Rename as... * buddy/src/bddx.h, buddy/src/bvecx.h, buddy/src/fddx.h: ... these. * buddy/src/Makefile.am: Build libbddx.la instead of libbdd.la. * buddy/examples/Makefile.def: Use it. * Makefile.am, buddy/src/bddtest.cxx, buddy/src/bvec.c, buddy/src/cppext.cxx, buddy/src/fdd.c, buddy/src/imatrix.h, buddy/src/kernel.h, buddy/examples/adder/adder.cxx, buddy/examples/bddcalc/parser_.h, buddy/examples/bddtest/bddtest.cxx, buddy/examples/cmilner/cmilner.c, buddy/examples/fdd/fdd.cxx, buddy/examples/milner/milner.cxx, buddy/examples/money/money.cxx, buddy/examples/queen/queen.cxx, buddy/examples/solitare/solitare.cxx, m4/buddy.m4, src/ltlvisit/apcollect.hh, src/ltlvisit/simplify.hh, src/misc/bddlt.hh, src/misc/bddop.hh, src/misc/minato.hh, src/priv/acccompl.hh, src/priv/accconv.hh, src/priv/accmap.hh, src/priv/bddalloc.cc, src/tgba/bdddict.hh, src/tgba/bddprint.hh, src/tgba/tgbamask.hh, src/tgba/tgbasafracomplement.cc, src/tgbaalgos/emptiness.hh, src/tgbaalgos/gtec/sccstack.hh, src/tgbaalgos/neverclaim.cc, src/tgbaalgos/powerset.cc, src/tgbaalgos/sccfilter.hh, src/tgbaalgos/sccinfo.hh, src/tgbaalgos/weight.hh, wrap/python/buddy.i: Adjust. * NEWS, README: Document it.
44 lines
1.1 KiB
C
44 lines
1.1 KiB
C
/*************************************************************************
|
|
FILE: parser.h
|
|
DESCR: parser defs. for BDD calculator
|
|
AUTH: Jorn Lind
|
|
DATE: (C) may 1999
|
|
*************************************************************************/
|
|
|
|
#ifndef _PARSER_H
|
|
#define _PARSER_H
|
|
|
|
#include <stdio.h>
|
|
#include "bddx.h"
|
|
|
|
#define MAXIDLEN 32 /* Max. number of allowed characters in an identifier */
|
|
|
|
struct token /* BISON token data */
|
|
{
|
|
char id[MAXIDLEN+1];
|
|
char *str;
|
|
int ival;
|
|
bdd *bval;
|
|
};
|
|
|
|
#define YYSTYPE token
|
|
#define YY_SKIP_YYWRAP
|
|
#define YY_NO_UNPUT
|
|
#define yywrap() (1)
|
|
|
|
extern YYSTYPE yylval; /* Declare for flex user */
|
|
extern void yyerror(const char *,...); /* Declare for flex and bison */
|
|
extern FILE *yyin;
|
|
extern int yylex(void); /* Declare for bison */
|
|
extern int yyparse(void); /* Declare for bison user */
|
|
extern int linenum; /* Declare for error handler */
|
|
|
|
/* Use this instead of strdup() to avoid malloc() */
|
|
inline char *sdup(const char *s)
|
|
{
|
|
return strcpy(new char[strlen(s)+1], s);
|
|
}
|
|
|
|
#endif /* _PARSER_H */
|
|
|
|
/* EOF */
|