Searched defs:bddm (Results 1 – 5 of 5) sorted by relevance
173 bdd_t bv_bdd_manager_true(const bv_bdd_manager_t* bddm) { in bv_bdd_manager_true()178 bdd_t bv_bdd_manager_false(const bv_bdd_manager_t* bddm) { in bv_bdd_manager_false()212 BDD** bv_bdd_manager_get_bdds(bv_bdd_manager_t* bddm, term_t t) { in bv_bdd_manager_get_bdds()229 void bv_bdd_manager_delete(bv_bdd_manager_t* bddm) { in bv_bdd_manager_delete()308 bool bv_bdd_manager_has_term(const bv_bdd_manager_t* bddm, term_t term) { in bv_bdd_manager_has_term()498 void bv_bdd_manager_add_term(bv_bdd_manager_t* bddm, term_t t) { in bv_bdd_manager_add_term()677 bvconstant_t* bv_bdd_manager_get_value(bv_bdd_manager_t* bddm, term_t t) { in bv_bdd_manager_get_value()690 void bv_bdd_manager_compute_value(bv_bdd_manager_t* bddm, term_t t) { in bv_bdd_manager_compute_value()795 void bv_bdd_manager_compute_bdd(bv_bdd_manager_t* bddm, term_t t) { in bv_bdd_manager_compute_bdd()1101 void bv_bdd_manager_bdd_detach(bv_bdd_manager_t* bddm, bdd_t bdd) { in bv_bdd_manager_bdd_detach()[all …]
85 bv_bdd_manager_t* bddm; member159 bv_feasible_set_db_t* bv_feasible_set_db_new(plugin_context_t* ctx, bv_bdd_manager_t* bddm) { in bv_feasible_set_db_new()268 bv_bdd_manager_t* bddm = db->bddm; in bv_feasible_set_db_update() local383 bv_bdd_manager_t* bddm = db->bddm; in bv_feasible_set_db_pop() local438 bv_bdd_manager_t* bddm = db->bddm; in bv_feasible_set_quickxplain() local
82 bv_bdd_manager_t* bddm; member644 bv_bdd_manager_t* bddm = bv->bddm; in bv_plugin_process_unit_constraint() local
986 tBrowserDocumentDisplayMode bddm; in wop_browser_save_session() local1197 tBrowserDocumentDisplayMode bddm, /*@out@*/ tBrowserDocument** _document) in wk_info_create()
1578 tBrowserDocumentDisplayMode bddm; member2464 const tBrowserDocumentDisplayMode bddm = document->bddm; in wrc_rd_setup() local4344 const tBrowserDocumentDisplayMode bddm = ( (esf & esfEnforceHtml) ? in handle_lig_execext_shell() local