source: vis_dev/sharpSAT/src/shared/Interface/semantic.cache

Last change on this file was 29, checked in by cecile, 13 years ago

shared missing for sharpSAT

File size: 12.4 KB
Line 
1;; Object Interface/
2;; SEMANTICDB Tags save file
3(semanticdb-project-database-file "Interface/"
4  :tables (list
5   (semanticdb-table "AnalyzerData.h"
6    :major-mode 'c-mode
7    :tags '(("ANALYZERDATA_H" variable (:constant-flag t) nil [86 111]) ("RealNumberTypes.h" include (:system-flag t) nil [110 138]) ("../src_sharpSAT/Basics.h" include nil nil [176 211]) ("vector" include (:system-flag t) nil [213 230]) ("iostream" include (:system-flag t) nil [232 251]) ("fstream" include (:system-flag t) nil [252 270]) ("DATA_IDX" type (:members (("AVG_DEC_LEV" variable (:constant-flag t :default-value (328 329) :type "int") (reparse-symbol enumsubparts) [313 329]) ("AVG_CONFLICT_LEV" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [359 376]) ("AVG_SOLUTION_LEV" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [404 421]) ("LONGEST_CCL_lastUIP" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [459 479]) ("AVG_CCL_lastUIP" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [527 543]) ("LONGEST_CCL_1stUIP" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [594 613]) ("AVG_CCL_1stUIP" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [661 676]) ("FCACHE_MAXMEM" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [729 743]) ("FCACHE_MEMUSE" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [777 791]) ("FCACHE_USEDBUCKETS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [824 843]) ("FCACHE_CACHEDCOMPS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [875 894]) ("FCACHE_RETRIEVALS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [896 914]) ("FCACHE_INCLUDETRIES" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [950 970]) ("XX_MAX_IDX" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1038 1051])) :type "enum") nil [295 1052]) ("doubleDataDesc" variable (:pointer 1 :dereference 1 :typemodifiers ("static") :constant-flag t :default-value "{
8  \"avg dec dl\",\"avg conflict dl\",\"avg solution dl\",\"longest ccl lastUIP\",\"avg ccl lastUIP\",\"longest ccl firstUIP\",\"avg ccl firstUIP\",
9  \"cacher memory bound\", \"cache mem-usage\",\"cache used buckets\",\"cache cached components\",\"cache retrievals\", \"cache include tries\",\"NOTHING\"
10}" :type "char") nil [1109 1429]) ("INT_DATA_ID" type (:members (("NVARS" variable (:constant-flag t :default-value (1461 1462) :type "int") (reparse-symbol enumsubparts) [1452 1462]) ("NUSED_VARS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1481 1492]) ("NORIGINAL_CLAUSES" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1494 1512]) ("NREMOVED_CLAUSES" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1514 1531]) ("NADDED_CLAUSES" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1533 1548]) ("NRECEIVED_ASS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1550 1564]) ("NCONFLICTS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1599 1610]) ("NIMPLICATIONS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1632 1646]) ("NIBCPIMPLS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1671 1682]) ("NPROCESSED_COMPS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1684 1701]) ("MAX_DL" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1733 1740]) ("MAX_SOL_DL" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1763 1774]) ("NDECISIONS" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1801 1812]) ("INT_MAX_ID" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [1842 1855])) :type "enum") nil [1432 1856]) ("intDataDesc" variable (:pointer 1 :dereference 1 :typemodifiers ("static") :constant-flag t :default-value "{
11  \"variables\",\"used vars\",\"original clauses\",\"removed clauses\",\"added clauses\",
12  \"received sat assignments\", \"conflicts\",\"implications\",\"ibcpimplications\",\"processed components\",
13  \"max dl\",\"max solution dl\",\"decisions\",\"NOTHING\"
14}" :type "char") nil [1916 2188]) ("ID_DATA" type (:members (("DECISION" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2207 2216]) ("CONFLICT" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2220 2229]) ("SOLUTION" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2232 2241]) ("IMPLICATION" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2244 2256]) ("IBCPIMPL" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2258 2267]) ("CCL_lastUIP" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2269 2281]) ("CCL_1stUIP" variable (:constant-flag t :type "int") (reparse-symbol enumsubparts) [2322 2395])) :type "enum") nil [2191 2396]) ("AnalyzerData" type (:members (("public" label nil (reparse-symbol classsubparts) [2426 2433]) ("elapsedTime" variable (:type "double") (reparse-symbol classsubparts) [2446 2465]) ("theExitState" variable (:type ("SOLVER_StateT" type (:type "class") nil nil)) (reparse-symbol classsubparts) [2469 2496]) ("nVars" variable (:type "int") (reparse-symbol classsubparts) [2550 2560]) ("nUsedVars" variable (:type "int") (reparse-symbol classsubparts) [2646 2660]) ("nOriginalClauses" variable (:type "int") (reparse-symbol classsubparts) [2695 2716]) ("nRemovedClauses" variable (:type "int") (reparse-symbol classsubparts) [2721 2741]) ("nAddedClauses" variable (:type "int") (reparse-symbol classsubparts) [2760 2778]) ("nReceivedSatAssignments" variable (:type "int") (reparse-symbol classsubparts) [2947 2975]) ("nDecisions" variable (:type "int") (reparse-symbol classsubparts) [3045 3060]) ("nImplications" variable (:type "int") (reparse-symbol classsubparts) [3135 3153]) ("nImplicitImplications" variable (:type "int") (reparse-symbol classsubparts) [3158 3184]) ("nConflicts" variable (:type "int") (reparse-symbol classsubparts) [3262 3277]) ("nProcessedComponents" variable (:type "int") (reparse-symbol classsubparts) [3330 3355]) ("maxDecLevel" variable (:type "int") (reparse-symbol classsubparts) [3411 3427]) ("maxSolutionLevel" variable (:type "int") (reparse-symbol classsubparts) [3436 3457]) ("evalData" variable (:type ("vector" type (:type "class") nil nil)) (reparse-symbol classsubparts) [3461 3485]) ("rnProbOfSat" variable (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol classsubparts) [3557 3578]) ("AnalyzerData" function (:prototype-flag t :constructor-flag t :type ("AnalyzerData" type "class")) (reparse-symbol classsubparts) [3605 3620]) ("AnalyzerData" function (:prototype-flag t :destructor-flag t :type "void") (reparse-symbol classsubparts) [3643 3659]) ("init" function (:prototype-flag t :type "void") (reparse-symbol classsubparts) [3721 3733]) ("getAllAssignments" function (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol classsubparts) [3737 3826]) ("getNumSatAssignments" function (:type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol classsubparts) [3831 3926]) ("printNumSatAss_whole" function (:type "void") (reparse-symbol classsubparts) [3930 4358]) ("printNumSatAss_vis" function (:pointer 1 :type "char") (reparse-symbol classsubparts) [4369 4833]) ("get" function (:arguments (("dataID" variable (:type ("DATA_IDX" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4847 4863])) :type "double") (reparse-symbol classsubparts) [4836 4902]) ("getI" function (:prototype-flag t :arguments (("idataID" variable (:type ("INT_DATA_ID" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4924 4944])) :type "unsigned int") (reparse-symbol classsubparts) [4906 4951]) ("setI" function (:prototype-flag t :arguments (("idataID" variable (:type ("INT_DATA_ID" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4972 4992]) ("val" variable (:type "int") (reparse-symbol arg-sub-list) [4993 5001])) :type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [4962 5002]) ("set" function (:arguments (("dataID" variable (:type ("DATA_IDX" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5015 5031]) ("val" variable (:type "double") (reparse-symbol arg-sub-list) [5032 5043])) :type "void") (reparse-symbol classsubparts) [5006 5075]) ("finishcountSATAnalysis" function (:prototype-flag t :type "void") (reparse-symbol classsubparts) [5081 5111]) ("writeToFile" function (:prototype-flag t :arguments (("lpcstrFileName" variable (:pointer 1 :constant-flag t :type "char") (reparse-symbol arg-sub-list) [5132 5159])) :type "void") (reparse-symbol classsubparts) [5115 5166]) ("loadFromFile" function (:prototype-flag t :arguments (("lpcstrFileName" variable (:pointer 1 :constant-flag t :type "char") (reparse-symbol arg-sub-list) [5186 5213])) :type "void") (reparse-symbol classsubparts) [5168 5214])) :type "class") nil [2403 5217]) ("CRunAnalyzer" type (:members (("theData" variable (:type ("AnalyzerData" type (:type "class") nil nil)) (reparse-symbol classsubparts) [5318 5339]) ("first" variable (:type ("bool" type (:type "class") nil nil)) (reparse-symbol classsubparts) [5346 5357]) ("protected" label nil (reparse-symbol classsubparts) [5365 5375]) ("public" label nil (reparse-symbol classsubparts) [5446 5453]) ("CRunAnalyzer" function (:prototype-flag t :constructor-flag t :type ("CRunAnalyzer" type "class")) (reparse-symbol classsubparts) [5494 5509]) ("CRunAnalyzer" function (:prototype-flag t :destructor-flag t :type "void") (reparse-symbol classsubparts) [5532 5548]) ("getData" function (:prototype-flag t :constant-flag t :type ("AnalyzerData" type (:type "class") nil nil)) (reparse-symbol classsubparts) [5553 5589]) ("changeableData" function (:type ("AnalyzerData" type (:type "class") nil nil)) (reparse-symbol classsubparts) [5593 5640]) ("init" function (:prototype-flag t :arguments (("nVars" variable (:type "int") (reparse-symbol arg-sub-list) [5654 5664]) ("nClauses" variable (:type "int") (reparse-symbol arg-sub-list) [5665 5678])) :type "void") (reparse-symbol classsubparts) [5644 5679]) ("setUsedVars" function (:prototype-flag t :arguments (("nUsedVars" variable (:type "unsigned int") (reparse-symbol arg-sub-list) [5773 5796])) :type "void") (reparse-symbol classsubparts) [5756 5797]) ("setRemovedClauses" function (:arguments (("rClauses" variable (:type "int") (reparse-symbol arg-sub-list) [5824 5837])) :type "void") (reparse-symbol classsubparts) [5801 5882]) ("addValue" function (:prototype-flag t :arguments (("dataID" variable (:type ("ID_DATA" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5906 5921]) ("actDecLevel" variable (:default-value "0" :type "int") (reparse-symbol arg-sub-list) [5922 5941]) ("someData" variable (:default-value "0.0" :type "double") (reparse-symbol arg-sub-list) [5943 5964])) :type "void") (reparse-symbol classsubparts) [5892 5966]) ("setValue" function (:prototype-flag t :arguments (("dataIDX" variable (:type ("DATA_IDX" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [5984 6001]) ("someData" variable (:type "double") (reparse-symbol arg-sub-list) [6002 6018])) :type "void") (reparse-symbol classsubparts) [5970 6019]) ("addClause" function (:prototype-flag t :type "void") (reparse-symbol classsubparts) [6031 6048]) ("setSatCount" function (:prototype-flag t :arguments (("rnCodedSols" variable (:constant-flag t :type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6076 6105])) :type "void") (reparse-symbol classsubparts) [6059 6106]) ("setSatProb" function (:arguments (("rnProb" variable (:constant-flag t :type ("CRealNum" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6126 6150])) :type "void") (reparse-symbol classsubparts) [6110 6189]) ("setExitState" function (:arguments (("st" variable (:type ("SOLVER_StateT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [6215 6232])) :type "void") (reparse-symbol classsubparts) [6197 6268]) ("setElapsedTime" function (:arguments (("timeV" variable (:type "double") (reparse-symbol arg-sub-list) [6290 6303])) :type "void") (reparse-symbol classsubparts) [6270 6340]) ("finishcountSATAnalysis" function (:prototype-flag t :type "void") (reparse-symbol classsubparts) [6362 6392])) :type "class") nil [5296 6395]))
15    :file "AnalyzerData.h"
16    :pointmax 6423
17    )
18   )
19  :file "semantic.cache"
20  :semantic-tag-version "2.0beta3"
21  :semanticdb-version "2.0beta3"
22  )
Note: See TracBrowser for help on using the repository browser.