source: vis_dev/sharpSAT/src/src_sharpSAT/MainSolver/InstanceGraph/semantic.cache

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

add sharpSat

File size: 5.3 KB
Line 
1;; Object InstanceGraph/
2;; SEMANTICDB Tags save file
3(semanticdb-project-database-file "InstanceGraph/"
4  :tables (list
5   (semanticdb-table "InstanceGraph.h"
6    :major-mode 'c-mode
7    :tags 'nil
8    :file "InstanceGraph.h"
9    )
10   (semanticdb-table "InstanceGraph.cpp"
11    :major-mode 'c++-mode
12    :tags '(("InstanceGraph.h" include nil nil [1 27]) ("math.h" include (:system-flag t) nil [28 45]) ("theRunAn" variable (:type ("CRunAnalyzer" type (:type "class") nil nil)) nil [83 105]) ("CInstanceGraph" function (:constructor-flag t :parent "CInstanceGraph" :type ("CInstanceGraph" type "class")) nil [129 166]) ("CInstanceGraph" function (:destructor-flag t :parent "CInstanceGraph" :type "void") nil [189 336]) ("substituteLitsOf" function (:parent "CInstanceGraph" :arguments (("rCl" variable (:type ("CClauseVertex" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [559 578]) ("oldLit" variable (:constant-flag t :type ("LiteralIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [578 603]) ("newLit" variable (:constant-flag t :type ("LiteralIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [604 629])) :type ("bool" type (:type "class") nil nil)) nil [521 1247]) ("containsVar" function (:parent "CInstanceGraph" :arguments (("rCl" variable (:constant-flag t :type ("CClauseVertex" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1282 1307]) ("theVar" variable (:constant-flag t :type ("VarIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1308 1329])) :type ("bool" type (:type "class") nil nil)) nil [1249 1505]) ("containsLit" function (:parent "CInstanceGraph" :arguments (("rCl" variable (:constant-flag t :type ("CClauseVertex" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1540 1565]) ("theLit" variable (:constant-flag t :type ("LiteralIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1566 1591])) :type ("bool" type (:type "class") nil nil)) nil [1507 1756]) ("printCl" function (:parent "CInstanceGraph" :arguments (("rCl" variable (:constant-flag t :type ("CClauseVertex" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [1789 1814])) :type "void") nil [1760 2034]) ("createConflictClause" function (:parent "CInstanceGraph" :arguments (("theCClause" variable (:constant-flag t :type ("vector" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [2078 2115])) :type ("bool" type (:type "class") nil nil)) nil [2036 4835]) ("setCClImplyingLit" function (:parent "CInstanceGraph" :arguments (("idCl" variable (:type ("ClauseIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4876 4891]) ("theLit" variable (:constant-flag t :type ("LiteralIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [4892 4917])) :type ("bool" type (:type "class") nil nil)) nil [4837 5868]) ("cleanUp_deletedCCls" function (:parent "CInstanceGraph" :type ("bool" type (:type "class") nil nil)) nil [5870 7880]) ("deleteConflictCls" function (:parent "CInstanceGraph" :type ("bool" type (:type "class") nil nil)) nil [7883 8281]) ("markCClDeleted" function (:parent "CInstanceGraph" :arguments (("idCl" variable (:type ("ClauseIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [8319 8334])) :type ("bool" type (:type "class") nil nil)) nil [8283 8797]) ("prep_substituteClauses" function (:parent "CInstanceGraph" :arguments (("oldIdx" variable (:type "unsigned int") (reparse-symbol arg-sub-list) [9023 9043]) ("newIdx" variable (:type "unsigned int") (reparse-symbol arg-sub-list) [9044 9064])) :type ("bool" type (:type "class") nil nil)) nil [8979 9936]) ("prep_substituteVars" function (:parent "CInstanceGraph" :arguments (("rV" variable (:type ("CVariableVertex" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [9980 10000]) ("newIdx" variable (:type "unsigned int") (reparse-symbol arg-sub-list) [10001 10021])) :type ("bool" type (:type "class") nil nil)) nil [9939 11032]) ("eraseLiteralFromCl" function (:parent "CInstanceGraph" :arguments (("idCl" variable (:type ("ClauseIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [11075 11090]) ("theLit" variable (:type ("LiteralIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [11090 11108])) :type ("bool" type (:type "class") nil nil)) nil [11035 12205]) ("prep_CleanUpPool" function (:parent "CInstanceGraph" :type ("bool" type (:type "class") nil nil)) nil [12207 15426]) ("createfromFile" function (:parent "CInstanceGraph" :arguments (("lpstrFileName" variable (:pointer 1 :constant-flag t :type "char") (reparse-symbol arg-sub-list) [15464 15490])) :type ("bool" type (:type "class") nil nil)) nil [15428 22832]) ("countActiveBinLinks" function (:parent "CInstanceGraph" :arguments (("theVar" variable (:type ("VarIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [22884 22898])) :type "unsigned int") nil [22835 23380]) ("print" function (:parent "CInstanceGraph" :type "void") nil [23382 23535]) ("printActiveClause" function (:parent "CInstanceGraph" :arguments (("idCl" variable (:constant-flag t :type ("ClauseIdT" type (:type "class") nil nil)) (reparse-symbol arg-sub-list) [23577 23599])) :type "void") nil [23538 23909]))
13    :file "InstanceGraph.cpp"
14    :pointmax 23910
15    )
16   )
17  :file "semantic.cache"
18  :semantic-tag-version "2.0beta3"
19  :semanticdb-version "2.0beta3"
20  )
Note: See TracBrowser for help on using the repository browser.