https://github.com/TakehideSoh/SAF
Tip revision: d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6 authored by TakehideSoh on 23 June 2023, 07:02:26 UTC
Merge pull request #2 from TakehideSoh/dev
Merge pull request #2 from TakehideSoh/dev
Tip revision: d26cc9f
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*/
