;; Object sharpSAT/
;; SEMANTICDB Tags save file
(semanticdb-project-database-file "sharpSAT/"
  :tables (list 
   (semanticdb-table "Makefile"
    :major-mode 'makefile-gmake-mode
    :tags '(("CXX" variable (:default-value ("g++")) nil [2 18]) ("CXXFLAGS" variable (:default-value ("-pipe" "-O3" "-w" "-DGMP_BIGNUM" "-DCOMPILE_FOR_GUI")) nil [18 74]) ("INCPATH" variable (:default-value ("-I." "-Isrc/shared" "-I/usr/include")) nil [74 119]) ("LINK" variable (:default-value ("ar" "r")) nil [119 135]) ("LFLAGS" variable nil nil [135 147]) ("LIBS" variable (:default-value ("$(SUBLIBS)" "-L/usr/lib/" "-lgmpxx" "-lgmp")) nil [147 196]) ("TAR" variable (:default-value ("tar" "-cf")) nil [196 215]) ("GZIP" variable (:default-value ("gzip" "-9f")) nil [215 235]) ("COPY" variable (:default-value ("cp" "-f")) nil [235 252]) ("COPY_FILE" variable (:default-value ("$(COPY)")) nil [252 271]) ("COPY_DIR" variable (:default-value ("$(COPY)" "-r")) nil [271 293]) ("INSTALL_FILE" variable (:default-value ("$(COPY_FILE)")) nil [293 320]) ("INSTALL_DIR" variable (:default-value ("$(COPY_DIR)")) nil [320 346]) ("DEL_FILE" variable (:default-value ("rm" "-f")) nil [346 363]) ("SYMLINK" variable (:default-value ("ln" "-sf")) nil [363 381]) ("DEL_DIR" variable (:default-value ("rmdir")) nil [381 398]) ("MOVE" variable (:default-value ("mv" "-f")) nil [398 415]) ("CHK_DIR_EXISTS" variable (:default-value ("test" "-d")) nil [415 439]) ("MKDIR" variable (:default-value ("mkdir" "-p")) nil [439 459]) ("OBJECTS_DIR" variable (:default-value ("./")) nil [486 503]) ("HEADERS" variable (:default-value ("src/src_sharpSAT/Basics.h" "src/shared/SomeTime.h" "src/shared/RealNumberTypes.h" "src/shared/Interface/AnalyzerData.h" "src/src_sharpSAT/MainSolver/DecisionStack.h" "src/src_sharpSAT/MainSolver/MainSolver.h" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h" "src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h" "src/src_sharpSAT/MainSolver/FormulaCache.h")) nil [519 981]) ("SOURCES" variable (:default-value ("src/src_sharpSAT/Basics.cpp" "src/shared/SomeTime.cpp" "src/shared/RealNumberTypes.cpp" "src/shared/Interface/AnalyzerData.cpp" "src/src_sharpSAT/MainSolver/DecisionStack.cpp" "src/src_sharpSAT/MainSolver/MainSolver.cpp" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp" "src/src_sharpSAT/main_.cpp" "src/src_sharpSAT/MainSolver/FormulaCache.cpp")) nil [981 1429]) ("OBJECTS" variable (:default-value ("Basics.o" "SomeTime.o" "RealNumberTypes.o" "AnalyzerData.o" "DecisionStack.o" "MainSolver.o" "InstanceGraph.o" "AtomsAndNodes.o" "main_.o" "FormulaCache.o")) nil [1429 1612]) ("TARGET" variable (:default-value ("sharpSAT.a")) nil [1612 1634]) ("first" function (:arguments ("all")) nil [1635 1669]) (".SUFFIXES" function (:arguments (".c" ".o" ".cpp" ".cc" ".cxx" ".C")) nil [1670 1705]) (".cpp.o" function nil nil [1705 1757]) (".cc.o" function nil nil [1757 1808]) (".cxx.o" function nil nil [1808 1860]) (".C.o" function nil nil [1860 1910]) (".c.o" function nil nil [1910 1957]) ("all" function (:arguments ("Makefile" "$(TARGET)")) nil [1978 2003]) ("$(TARGET)" function (:arguments ("$(OBJECTS)")) nil [2003 2080]) ("clean" function nil nil [2075 2137]) ("distclean" function (:arguments ("clean")) nil [2161 2213]) ("FORCE" function nil nil [2214 2222]) ("Basics.o" function (:arguments ("src/src_sharpSAT/Basics.cpp" "src/src_sharpSAT/Basics.h")) nil [2239 2378]) ("SomeTime.o" function (:arguments ("src/shared/SomeTime.cpp" "src/shared/SomeTime.h")) nil [2378 2509]) ("RealNumberTypes.o" function (:arguments ("src/shared/RealNumberTypes.cpp" "src/shared/RealNumberTypes.h")) nil [2509 2675]) ("AnalyzerData.o" function (:arguments ("src/shared/Interface/AnalyzerData.cpp" "src/shared/Interface/AnalyzerData.h")) nil [2675 2856]) ("DecisionStack.o" function (:arguments ("src/src_sharpSAT/MainSolver/DecisionStack.cpp" "src/src_sharpSAT/MainSolver/DecisionStack.h" "src/src_sharpSAT/Basics.h" "src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h")) nil [2856 3280]) ("MainSolver.o" function (:arguments ("src/src_sharpSAT/MainSolver/MainSolver.cpp" "src/src_sharpSAT/MainSolver/MainSolver.h" "src/src_sharpSAT/Basics.h" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h" "src/src_sharpSAT/MainSolver/FormulaCache.h" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h" "src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h" "src/src_sharpSAT/MainSolver/DecisionStack.h")) nil [3280 3784]) ("InstanceGraph.o" function (:arguments ("src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h" "src/src_sharpSAT/Basics.h" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h")) nil [3784 4125]) ("AtomsAndNodes.o" function (:arguments ("src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h" "src/src_sharpSAT/Basics.h")) nil [4125 4404]) ("main_.o" function (:arguments ("src/src_sharpSAT/main.cpp" "src/src_sharpSAT/MainSolver/MainSolver.h" "src/src_sharpSAT/Basics.h" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h" "src/src_sharpSAT/MainSolver/FormulaCache.h" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h" "src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h" "src/src_sharpSAT/MainSolver/DecisionStack.h")) nil [4404 4865]) ("FormulaCache.o" function (:arguments ("src/src_sharpSAT/MainSolver/FormulaCache.cpp" "src/src_sharpSAT/MainSolver/FormulaCache.h" "src/src_sharpSAT/Basics.h" "src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h" "src/src_sharpSAT/MainSolver/DecisionStack.h" "src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h" "src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h")) nil [4865 5331]))
    :file "Makefile"
    :pointmax 5331
    )
   )
  :file "semantic.cache"
  :semantic-tag-version "2.0beta3"
  :semanticdb-version "2.0beta3"
  )