26 lines
647 B
C
26 lines
647 B
C
#ifndef __ACE_BDD_H__
|
|
#define __ACE_BDD_H__
|
|
|
|
#include "ace.h"
|
|
#include "cube.h"
|
|
|
|
#include "bdd/cudd/cuddInt.h"
|
|
#include "bdd/cudd/cudd.h"
|
|
#include "misc/st/st.h"
|
|
|
|
double calc_cube_switch_prob_recur(DdManager * mgr, DdNode * bdd,
|
|
ace_cube_t * cube, Vec_Ptr_t * inputs, st__table * visited, int phase);
|
|
|
|
void ace_bdd_get_literals(Abc_Ntk_t * ntk, st__table ** lit_st_table,
|
|
Vec_Ptr_t ** literals);
|
|
|
|
int ace_bdd_build_network_bdds(Abc_Ntk_t * ntk, st__table * leaves,
|
|
Vec_Ptr_t * inputs, int max_size, double min_Prob);
|
|
|
|
double ace_bdd_calc_switch_act(DdManager * mgr, Abc_Obj_t * obj,
|
|
Vec_Ptr_t * fanins);
|
|
|
|
int node_error(int code);
|
|
|
|
#endif
|