EXPORTS
	Bdd_Init @ 0 ; 
	bdd_status @ 1 DATA ; 
	bdd_termTrue @ 2 DATA ; 
	bdd_termFalse @ 3 DATA ; 
	bdd_termNull @ 4 DATA ; 
	Bdd_InitPkg @ 5 ; 
	Bdd_ExitPkg @ 6 ; 
	Bdd_AboutPkg @ 7 ; 
	Bdd_GetThen @ 8 ;
	Bdd_GetElse @ 9 ;
	Bdd_GetVariable @ 10 ;
	Bdd_GetVariableName @ 11 ;
	Bdd_GetVariableChar @ 12 ;
	Bdd_GetIthVariableName @ 13 ;
	Bdd_GetVariableOrder @ 14 ;
	Bdd_FoaTerminal @ 15 ; 
	Bdd_NOT @ 16 ; 
	Bdd_TransferMark @ 17 ; 
	Bdd_ITE @ 18 ; 
	Bdd_Restrict @ 19 ; 
	Bdd_Compose @ 20 ; 
	Bdd_E @ 21 ; 
	Bdd_A @ 22 ; 
	Bdd_IncCounter @ 23 ; 
	Bdd_Fresh @ 24 ; 
	Bdd_Fortify @ 25 ; 
	Bdd_Garbage @ 26 ; 
	Bdd_SystemStat @ 27 ;
	Bdd_FunctionStat @ 28 ;
	Bdd_FindFormula @ 29 ;
	Bdd_AddFormula @ 30 ;
	Bdd_SaveFormula @ 31 ;
	Bdd_ExtractBranch @ 32 ;
	Bdd_Expand @ 33 ;
	Bdd_Expr @ 34 ;
	Bdd_WriteFunction @ 35 ; 
	Bdd_WriteBDD @ 36 ; 
	Bdd_WriteDot @ 37 ; 
	Bdd_WriteBDDView @ 38 ; 
	Bdd_WriteGraphML @ 39 ; 
	Bdd_ReadGraphML @ 40 ; 
	Bdd_RelOp @ 41 ; 
	Bdd_RelOpSimple @ 42 ; 
	Bdd_RelOpComplex @ 43 ; 
	Bdd_NewState @ 44 ; 
	Bdd_NewState1 @ 45 ; 
	Bdd_NewState2 @ 46 ; 
	Bdd_NewEq @ 47 ;
