Revision 8ff4378c69bfc83b3af48e387721134b1413d23a authored by takehidesoh on 01 May 2023, 02:14:54 UTC, committed by takehidesoh on 01 May 2023, 02:14:54 UTC
1 parent 339d44a
bdd_reduce.h
/** \file bdd_reduce.h
* \author Takahisa Toda
*/
#ifndef BDD_REDUCE_H
#define BDD_REDUCE_H
#if defined(REDUCTION)
#include "obdd.h"
#include "bdd_interface.h"
extern bddp bdd_reduce(obdd_t* f);
#endif
#endif /*BDD_REDUCE_H*/
Computing file changes ...
