source: vis_dev/sharpSAT/src/src_sharpSAT/semantic.cache @ 76

Last change on this file since 76 was 9, checked in by cecile, 13 years ago

add sharpSat

File size: 5.4 KB
Line 
1;; Object src_sharpSAT/
2;; SEMANTICDB Tags save file
3(semanticdb-project-database-file "src_sharpSAT/"
4  :tables (list
5   (semanticdb-table "main.cpp"
6    :major-mode 'c++-mode
7    :tags '(("iostream" include (:system-flag t) nil [1 20]) ("ctime" include (:system-flag t) nil [22 38]) ("sys/time.h" include (:system-flag t) nil [67 88]) ("SomeTime.h" include (:system-flag t) nil [141 162]) ("Interface/AnalyzerData.h" include (:system-flag t) nil [163 198]) ("MainSolver/MainSolver.h" include nil nil [200 234]) ("Basics.h" include nil nil [235 254]) ("theSolver" variable (:type ("CMainSolver" type (:type "class") nil nil)) nil [280 302]) ("finalcSATEvaluation" function (:type "void") nil [322 2623]) ("finalcSATEvaluationfor_vis" function (:type "void") nil [2625 2915]) ("main" function (:arguments (("argc" variable (:type "int") (reparse-symbol arg-sub-list) [2925 2934]) ("argv" variable (:pointer 1 :dereference 1 :type "char") (reparse-symbol arg-sub-list) [2935 2948])) :type "int") nil [2916 5609]))
8    :file "main.cpp"
9    :pointmax 5610
10    )
11   (semanticdb-table "Basics.h"
12    :major-mode 'c-mode
13    :tags '(("COMPILE_FOR_GUI" variable (:constant-flag t) nil [37 40]) ("CSolverConf" type (:members (("public" label nil (reparse-symbol classsubparts) [139 146]) ("analyzeConflicts" variable (:typemodifiers ("static") :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [149 178]) ("doNonChronBackTracking" variable (:typemodifiers ("static") :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [181 216]) ("quietMode" variable (:typemodifiers ("static") :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [223 245]) ("allowComponentCaching" variable (:typemodifiers ("static") :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [251 285]) ("allowImplicitBCP" variable (:typemodifiers ("static") :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [288 317]) ("allowPreProcessing" variable (:typemodifiers ("static") :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [323 354]) ("secsTimeBound" variable (:typemodifiers ("static") :type "unsigned int") (reparse-symbol classsubparts) [360 394]) ("maxCacheSize" variable (:typemodifiers ("static") :type "unsigned int") (reparse-symbol classsubparts) [403 436]) ("CSolverConf" function (:prototype-flag t :constructor-flag t :type ("CSolverConf" type "class")) (reparse-symbol classsubparts) [473 487]) ("CSolverConf" function (:prototype-flag t :destructor-flag t :type "void") (reparse-symbol classsubparts) [491 506])) :type "class") nil [117 510]) ("toSTDOUT" variable (:constant-flag t) nil [543 563]) ("toSTDOUT" variable (:constant-flag t) nil [571 593]) ("X" variable (:type "int") nil [627 629]) ("toERROUT" variable (:constant-flag t) nil [670 690]) ("toERROUT" variable (:constant-flag t) nil [698 720]) ("X" variable (:type "int") nil [754 756]) ("toDEBUGOUT" variable (:constant-flag t) nil [781 805]) ("X" variable (:type "int") nil [839 841]) ("toDEBUGOUT" variable (:constant-flag t) nil [856 878]) ("SOLVER_StateT" type (:members (("SUCCESS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [913 921]) ("TIMEOUT" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [923 931]) ("ABORTED" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [933 942])) :type "enum") nil [891 943]) ("TriValue" type (:members (("F" variable (:constant-flag t :default-value (969 970) :type "int") (reparse-symbol enumsubparts) [965 970]) ("W" variable (:constant-flag t :default-value (977 978) :type "int") (reparse-symbol enumsubparts) [973 978]) ("X" variable (:constant-flag t :default-value (985 986) :type "int") (reparse-symbol enumsubparts) [981 986])) :type "enum") nil [948 990]) ("TriValuetoChar" function (:prototype-flag t :typemodifiers ("extern") :arguments (("v" variable (:type ("TriValue" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1024 1035])) :type "char") nil [997 1036]))
14    :file "Basics.h"
15    :pointmax 1044
16    )
17   (semanticdb-table "Basics.cpp"
18    :major-mode 'c++-mode
19    :tags '(("Basics.h" include nil nil [1 20]) ("CSolverConf::analyzeConflicts" variable (:default-value "true;" :type ("bool" type (:type "class") nil nil)) nil [23 65]) ("CSolverConf::doNonChronBackTracking" variable (:default-value "true;" :type ("bool" type (:type "class") nil nil)) nil [66 114]) ("CSolverConf::allowComponentCaching" variable (:default-value "true;" :type ("bool" type (:type "class") nil nil)) nil [116 163]) ("CSolverConf::allowImplicitBCP" variable (:default-value "true;" :type ("bool" type (:type "class") nil nil)) nil [164 206]) ("CSolverConf::allowPreProcessing" variable (:default-value "true;" :type ("bool" type (:type "class") nil nil)) nil [208 252]) ("CSolverConf::quietMode" variable (:default-value "false;" :type ("bool" type (:type "class") nil nil)) nil [254 290]) ("CSolverConf::secsTimeBound" variable (:default-value "10000000" :type "unsigned int") nil [292 343]) ("CSolverConf::maxCacheSize" variable (:default-value "0" :type "unsigned int") nil [348 391]) ("TriValuetoChar" function (:arguments (("v" variable (:type ("TriValue" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [417 428])) :type "char") nil [397 560]))
20    :file "Basics.cpp"
21    :pointmax 566
22    :unmatched-syntax 'nil
23    )
24   )
25  :file "semantic.cache"
26  :semantic-tag-version "2.0beta3"
27  :semanticdb-version "2.0beta3"
28  )
Note: See TracBrowser for help on using the repository browser.