source: vis_dev/sharpSAT/src/shared/semantic.cache @ 35

;; Object shared/
;; SEMANTICDB Tags save file
(semanticdb-project-database-file "shared/"
  :tables (list 
   (semanticdb-table "SomeTime.h"
    :major-mode 'c-mode
    :tags '(("SOMETIME_H" variable (:constant-flag t) nil [20 41]) ("sys/time.h" include (:system-flag t) nil [58 79]) ("diffTimes" function (:prototype-flag t :typemodifiers ("extern") :arguments (("ret" variable (:type ("timeval" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [153 166]) ("tLater" variable (:constant-flag t :type ("timeval" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [167 189]) ("tEarlier" variable (:constant-flag t :type ("timeval" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [190 214])) :type ("bool" type (:type "class") nil nil)) nil [131 215]) ("CStepTime" type (:members (("timeVal" variable (:typemodifiers ("static") :type "int") (reparse-symbol classsubparts) [238 257]) ("public" label nil (reparse-symbol classsubparts) [263 270]) ("makeStart" function (:typemodifiers ("static") :type "void") (reparse-symbol classsubparts) [277 328]) ("getTime" function (:typemodifiers ("static") :type "int") (reparse-symbol classsubparts) [336 388]) ("stepTime" function (:typemodifiers ("static") :type "void") (reparse-symbol classsubparts) [396 445])) :type "class") nil [217 448]) ("CStopWatch" type (:members (("timeStart" variable (:type ("timeval" type (:type "class") nil nil)) (reparse-symbol classsubparts) [474 492]) ("timeStop" variable (:type ("timeval" type (:type "class") nil nil)) (reparse-symbol classsubparts) [496 513]) ("timeBound" variable (:type "long int") (reparse-symbol classsubparts) [521 540]) ("public" label nil (reparse-symbol classsubparts) [547 554]) ("CStopWatch" function (:constructor-flag t :type ("CStopWatch" type "class")) (reparse-symbol classsubparts) [563 578]) ("CStopWatch" function (:destructor-flag t :type "void") (reparse-symbol classsubparts) [582 597]) ("timeBoundBroken" function (:type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [606 760]) ("markStartTime" function (:type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [768 846]) ("markStopTime" function (:type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [854 930]) ("setTimeBound" function (:arguments (("seconds" variable (:type "long int") (reparse-symbol arg-sub-list) [960 977])) :type "void") (reparse-symbol classsubparts) [942 1013]) ("getTimeBound" function (:type "long int") (reparse-symbol classsubparts) [1021 1077]) ("getElapsedTime" function (:type "double") (reparse-symbol classsubparts) [1085 1293]) ("getElapsedusecs" function (:type "unsigned int") (reparse-symbol classsubparts) [1301 1515])) :type "class") nil [452 1518]))
    :file "SomeTime.h"
    :pointmax 1527
    )
   (semanticdb-table "SomeTime.cpp"
    :major-mode 'c++-mode
    :tags '(("SomeTime.h" include nil nil [1 22]) ("CStepTime::timeVal" variable (:default-value "0" :type "int") nil [24 51]) ("diffTimes" function (:arguments (("ret" variable (:type ("timeval" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [70 83]) ("tLater" variable (:constant-flag t :type ("timeval" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [84 106]) ("tEarlier" variable (:constant-flag t :type ("timeval" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [107 131])) :type ("bool" type (:type "class") nil nil)) nil [55 380]))
    :file "SomeTime.cpp"
    :pointmax 381
    )
   (semanticdb-table "RealNumberTypes.h"
    :major-mode 'c-mode
    :tags '(("REALNUMBERTYPES_H" variable (:constant-flag t) nil [27 61]) ("gmpxx.h" include (:system-flag t) nil [97 115]) ("CRealNum" type (:typedef ("mpf_class" type (:type "class") nil nil) :superclasses "mpf_class" :type "typedef") nil [117 144]) ("pow" function (:prototype-flag t :typemodifiers ("extern") :arguments (("res" variable (:type ("mpf_class" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [162 177]) ("base" variable (:constant-flag t :type ("mpf_class" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [178 200]) ("iExp" variable (:type "unsigned long int") (reparse-symbol arg-sub-list) [201 224])) :type ("bool" type (:type "class") nil nil)) nil [146 225]) ("pow2" function (:prototype-flag t :typemodifiers ("extern") :arguments (("res" variable (:type ("mpf_class" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [244 259]) ("iExp" variable (:type "unsigned long int") (reparse-symbol arg-sub-list) [260 283])) :type ("bool" type (:type "class") nil nil)) nil [227 284]) ("to_div_2exp" function (:prototype-flag t :typemodifiers ("extern") :arguments (("res" variable (:type ("mpf_class" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [310 325]) ("op1" variable (:constant-flag t :type ("mpf_class" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [326 347]) ("iExp" variable (:type "unsigned long int") (reparse-symbol arg-sub-list) [348 371])) :type ("bool" type (:type "class") nil nil)) nil [286 372]) ("to_doubleT" function (:prototype-flag t :typemodifiers ("extern") :arguments (("num" variable (:constant-flag t :type ("mpf_class" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [399 420])) :type "double") nil [374 421]) ("CRealNum" type (:typedef ("long double") :superclasses "long double" :type "typedef") nil [433 462]) ("pow" function (:prototype-flag t :typemodifiers ("extern") :arguments (("res" variable (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [481 495]) ("base" variable (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [496 510]) ("iExp" variable (:type "unsigned long int") (reparse-symbol arg-sub-list) [511 534])) :type ("bool" type (:type "class") nil nil)) nil [465 535]) ("pow2" function (:prototype-flag t :typemodifiers ("extern") :arguments (("res" variable (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [554 568]) ("iExp" variable (:type "unsigned long int") (reparse-symbol arg-sub-list) [569 592])) :type ("bool" type (:type "class") nil nil)) nil [537 593]) ("to_div_2exp" function (:prototype-flag t :typemodifiers ("extern") :arguments (("res" variable (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [619 633]) ("op1" variable (:constant-flag t :type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [634 654]) ("iExp" variable (:type "unsigned long int") (reparse-symbol arg-sub-list) [655 678])) :type ("bool" type (:type "class") nil nil)) nil [595 679]) ("to_doubleT" function (:prototype-flag t :typemodifiers ("extern") :arguments (("num" variable (:constant-flag t :type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [711 731])) :type "long double") nil [681 732]))
    :file "RealNumberTypes.h"
    :pointmax 748
    )
   )
  :file "semantic.cache"
  :semantic-tag-version "2.0beta3"
  :semanticdb-version "2.0beta3"
  )