source: vis_dev/glu-2.1/src/mdd/semantic.cache @ 13

;; Object mdd/
;; SEMANTICDB Tags save file
(semanticdb-project-database-file "mdd/"
  :tables (list 
   (semanticdb-table "mdd_util.c"
    :major-mode 'c-mode
    :tags '(("stdio.h" include (:system-flag t) nil [1 19]) ("math.h" include (:system-flag t) nil [20 37]) ("util.h" include nil nil [38 55]) ("mdd.h" include nil nil [56 72]) ("mddRetOnvalBdd" function (:prototype-flag t :pointer 1 :typemodifiers ("static") :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [549 569]) ("mddId" variable (:type "int") (reparse-symbol arg-sub-list) [570 580])) :type ("bdd_t" type (:type "class") nil nil)) nil [520 581]) ("mddIntRetOnvalBdd" function (:prototype-flag t :pointer 1 :typemodifiers ("static") :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [614 634]) ("valNum" variable (:type "int") (reparse-symbol arg-sub-list) [635 646]) ("low" variable (:type "int") (reparse-symbol arg-sub-list) [647 655]) ("hi" variable (:type "int") (reparse-symbol arg-sub-list) [656 663]) ("level" variable (:type "int") (reparse-symbol arg-sub-list) [664 674]) ("bddVarArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [675 694])) :type ("bdd_t" type (:type "class") nil nil)) nil [582 695]) ("mddFreeBddArr" function (:prototype-flag t :typemodifiers ("static") :arguments (("bddArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [722 738])) :type "void") nil [696 739]) ("mddGetVarById" variable (:constant-flag t :default-value (nil)) nil [817 910]) ("toggle" function (:arguments (("x" variable (:type "int") (reparse-symbol arg-sub-list) [924 930])) :type "int") nil [913 1073]) ("no_bit_encode" function (:arguments (("n" variable (:type "int") (reparse-symbol arg-sub-list) [1093 1099])) :type "int") nil [1075 1253]) ("print_mvar_list" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1276 1293])) :type "void") nil [1255 1711]) ("print_strides" function (:arguments (("mvar_strides" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1732 1754])) :type "void") nil [1713 1967]) ("print_bdd_list_id" function (:arguments (("bdd_list" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1992 2010])) :type "void") nil [1969 2362]) ("print_bvar_list_id" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [2388 2405])) :type "void") nil [2364 2821]) ("print_bdd" function (:arguments (("mgr" variable (:pointer 1 :type ("bdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [2838 2855]) ("top" variable (:pointer 1 :type ("bdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [2856 2867])) :type "void") nil [2823 3623]) ("find_mvar_id" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [3651 3668]) ("id" variable (:type "unsigned short") (reparse-symbol arg-sub-list) [3669 3687])) :type ("mvar_type" type (:type "class") nil nil)) nil [3627 4164]) ("clear_all_marks" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4187 4204])) :type "void") nil [4166 4445]) ("mdd_mark" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4464 4481]) ("top" variable (:pointer 1 :type ("bdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4484 4549]) ("phase" variable (:type "int") (reparse-symbol arg-sub-list) [4552 4562])) :type "void") nil [4447 4997]) ("mdd_unmark" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5015 5032]) ("top" variable (:pointer 1 :type ("bdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5033 5044])) :type "void") nil [4999 5455]) ("find_mvar" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5478 5495]) ("name" variable (:pointer 1 :type "char") (reparse-symbol arg-sub-list) [5496 5507])) :type ("mvar_type" type (:type "class") nil nil)) nil [5457 5805]) ("mdd_ret_mvar_list" function (:pointer 1 :arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5835 5852])) :type ("array_t" type (:type "class") nil nil)) nil [5807 6038]) ("mdd_set_mvar_list" function (:arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6063 6080]) ("mvar_list" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6081 6100])) :type "void") nil [6040 6239]) ("mdd_ret_bvar_list" function (:pointer 1 :arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6270 6287])) :type ("array_t" type (:type "class") nil nil)) nil [6242 6473]) ("mdd_ret_bvar_id" function (:arguments (("mvar_ptr" variable (:pointer 1 :type ("mvar_type" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6496 6516]) ("i" variable (:type "int") (reparse-symbol arg-sub-list) [6517 6523])) :type "int") nil [6476 6579]) ("mdd_ret_bvar" function (:arguments (("mvar_ptr" variable (:pointer 1 :type ("mvar_type" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6604 6624]) ("i" variable (:type "int") (reparse-symbol arg-sub-list) [6625 6631]) ("bvar_list" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6632 6651])) :type ("bvar_type" type (:type "class") nil nil)) nil [6581 6774]) ("mdd_count_onset" function (:arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [7159 7179]) ("aMdd" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [7182 7195]) ("mddIdArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [7198 7216])) :type "double") nil [7133 7924]) ("mdd_onset_bdd" function (:pointer 1 :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [7974 7994]) ("aMdd" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [7997 8010]) ("mddIdArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [8013 8031])) :type ("mdd_t" type (:type "class") nil nil)) nil [7949 8533]) ("mdd_epd_count_onset" function (:arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [8583 8603]) ("aMdd" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [8606 8619]) ("mddIdArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [8622 8640]) ("epd" variable (:pointer 1 :type ("EpDouble" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [8643 8657])) :type "int") nil [8556 9392]) ("mddRetOnvalBdd" function (:pointer 1 :typemodifiers ("static") :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [9528 9548]) ("mddId" variable (:type "int") (reparse-symbol arg-sub-list) [9551 9562])) :type ("bdd_t" type (:type "class") nil nil)) nil [9496 10106]) ("mddIntRetOnvalBdd" function (:pointer 1 :typemodifiers ("static") :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [10241 10261]) ("valNum" variable (:type "int") (reparse-symbol arg-sub-list) [10264 10275]) ("low" variable (:type "int") (reparse-symbol arg-sub-list) [10278 10286]) ("hi" variable (:type "int") (reparse-symbol arg-sub-list) [10289 10296]) ("level" variable (:type "int") (reparse-symbol arg-sub-list) [10299 10309]) ("bddVarArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [10312 10331])) :type ("bdd_t" type (:type "class") nil nil)) nil [10206 10970]) ("mddFreeBddArr" function (:typemodifiers ("static") :arguments (("bddArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [11153 11169])) :type "void") nil [11127 11332]) ("mdd_ret_bvars_of_mvar" function (:pointer 1 :arguments (("mvar_ptr" variable (:pointer 1 :type ("mvar_type" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [11388 11408])) :type ("array_t" type (:type "class") nil nil)) nil [11355 11437]) ("mdd_get_care_set" function (:pointer 1 :typemodifiers ("static") :arguments (("mdd_mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [11610 11631])) :type ("mdd_t" type (:type "class") nil nil)) nil [11579 13062]) ("mdd_cproject" function (:pointer 1 :arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [13153 13170]) ("T" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [13173 13182]) ("mvars" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [13185 13200])) :type ("mdd_t" type (:type "class") nil nil)) nil [13130 14629]) ("mdd_print_support" function (:arguments (("f" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [14654 14663])) :type "void") nil [14631 15346]) ("mdd_print_support_to_file" function (:arguments (("fout" variable (:pointer 1 :type ("FILE" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [15379 15390]) ("format" variable (:pointer 1 :type "char") (reparse-symbol arg-sub-list) [15391 15404]) ("f" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [15405 15414])) :type "void") nil [15348 16090]) ("mdd_read_var_name" function (:pointer 1 :arguments (("f" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [16117 16126])) :type "char") nil [16092 16936]) ("mdd_read_mdd_id" function (:arguments (("f" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [16958 16967])) :type "int") nil [16938 17329]) ("mdd_id_to_bdd_id_array" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [17728 17752]) ("mddId" variable (:type "int") (reparse-symbol arg-sub-list) [17753 17763])) :type ("array_t" type (:type "class") nil nil)) nil [17695 18166]) ("mdd_id_to_bdd_array" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [18562 18586]) ("mddId" variable (:type "int") (reparse-symbol arg-sub-list) [18587 18597])) :type ("array_t" type (:type "class") nil nil)) nil [18532 18946]) ("mdd_id_array_to_bdd_array" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [19268 19292]) ("mddIdArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [19293 19313])) :type ("array_t" type (:type "class") nil nil)) nil [19232 19770]) ("mdd_id_array_to_bdd_id_array" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [20275 20299]) ("mddIdArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [20300 20320])) :type ("array_t" type (:type "class") nil nil)) nil [20236 20686]) ("mdd_id_array_to_bdd_cube" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [20982 21006]) ("mddIdArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [21007 21027])) :type ("mdd_t" type (:type "class") nil nil)) nil [20949 21893]) ("mdd_get_number_of_bdd_vars" function (:arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [22249 22273]) ("mddIdArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [22274 22294])) :type "int") nil [22218 22592]) ("mdd_get_number_of_bdd_support" function (:arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [22929 22953]) ("f" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [22954 22963])) :type "int") nil [22895 23259]) ("mdd_fn_array_to_bdd_rel_array" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [25589 25613]) ("mddId" variable (:type "int") (reparse-symbol arg-sub-list) [25616 25626]) ("mddFnArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [25629 25649])) :type ("array_t" type (:type "class") nil nil)) nil [25546 28912]) ("mdd_fn_array_to_bdd_fn_array" function (:pointer 1 :arguments (("mddManager" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [31241 31265]) ("mddId" variable (:type "int") (reparse-symbol arg-sub-list) [31268 31278]) ("mddFnArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [31281 31301])) :type ("array_t" type (:type "class") nil nil)) nil [31199 34504]) ("mdd_pick_arbitrary_minterms" function (:pointer 1 :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [34548 34568]) ("aMdd" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [34571 34584]) ("mddIdArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [34587 34605]) ("n" variable (:type "int") (reparse-symbol arg-sub-list) [34608 34615])) :type ("array_t" type (:type "class") nil nil)) nil [34507 35385]) ("mdd_subset_with_mask_vars" function (:pointer 1 :arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [35425 35445]) ("aMdd" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [35448 35461]) ("mddIdArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [35464 35482]) ("maskIdArr" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [35485 35504])) :type ("mdd_t" type (:type "class") nil nil)) nil [35388 36344]) ("mdd_get_var_by_id" function (:arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [36453 36473]) ("id" variable (:type "int") (reparse-symbol arg-sub-list) [36474 36481])) :type ("mvar_type" type (:type "class") nil nil)) nil [36425 36524]) ("mdd_check_support" function (:arguments (("mddMgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [36628 36648]) ("mdd" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [36651 36663]) ("supportIdArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [36666 36690])) :type "int") nil [36603 37319]) ("mdd_equal_mod_care_set_array" function (:arguments (("aSet" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37359 37371]) ("bSet" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37372 37384]) ("careSetArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37385 37407])) :type ("boolean" type (:type "class") nil nil)) nil [37322 37816]) ("mdd_lequal_mod_care_set_array" function (:arguments (("aSet" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37857 37869]) ("bSet" variable (:pointer 1 :type ("mdd_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37870 37882]) ("aPhase" variable (:type ("boolean" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37892 37907]) ("bPhase" variable (:type ("boolean" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37908 37923]) ("careSetArray" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [37933 37955])) :type ("boolean" type (:type "class") nil nil)) nil [37819 38296]) ("mdd_range_mdd" function (:pointer 1 :arguments (("mgr" variable (:pointer 1 :type ("mdd_manager" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [38452 38469]) ("support" variable (:pointer 1 :type ("array_t" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [38472 38492])) :type ("mdd_t" type (:type "class") nil nil)) nil [38427 38859]))
    :file "mdd_util.c"
    :pointmax 39103
    )
   (semanticdb-table "mdd.h"
    :major-mode 'c-mode
    :tags 'nil
    :file "mdd.h"
    )
   )
  :file "semantic.cache"
  :semantic-tag-version "2.0beta3"
  :semanticdb-version "2.0beta3"
  )