src/mdd/mvar2bdds.c File Reference

#include "mdd.h"

Include dependency graph for mvar2bdds.c:

Go to the source code of this file.

Functions
array_t *	mvar2bdds (mdd_manager *mgr, array_t *mvars)

---

Function Documentation

array_t* mvar2bdds	(	mdd_manager *	mgr,
		array_t *	mvars
	)

Definition at line 19 of file mvar2bdds.c.

{
    array_t *bdd_vars;
    int i, j, mv_no;
    mvar_type mv;
    bdd_t *temp;
    array_t *mvar_list = mdd_ret_mvar_list(mgr);

    bdd_vars = array_alloc(bdd_t *, 0); 
    for (i=0; i<array_n(mvars); i++) {
        mv_no = array_fetch(int, mvars, i);
        mv = array_fetch(mvar_type, mvar_list, mv_no);
        for (j = 0; j < mv.encode_length; j ++) {
            temp = bdd_get_variable(mgr, mdd_ret_bvar_id(&mv,j) );
            array_insert_last(bdd_t *, bdd_vars, temp);
        }
    }
    return (bdd_vars);
}