From 02d0f9e1eadbe778589a61ec5f65c0a2b1ab4af4 Mon Sep 17 00:00:00 2001 From: PBerger Date: Thu, 6 Jun 2013 21:09:23 +0200 Subject: [PATCH] Added a Win64 Project for LTL2DStar Edited same sources to compile in windows --- .../3rdparty/ltl2dstar-0.5.1/src/APSet.hpp | 11 +- .../ltl2dstar-0.5.1/src/DAUnionAlgorithm.hpp | 15 +- .../3rdparty/ltl2dstar-0.5.1/src/DRA.hpp | 7 +- .../ltl2dstar-0.5.1/src/GraphAlgorithms.hpp | 4 +- .../ltl2dstar-0.5.1/src/LTLFormula.hpp | 10 +- .../ltl2dstar-0.5.1/src/LTLPrefixParser.hpp | 2 +- .../3rdparty/ltl2dstar-0.5.1/src/NBA.hpp | 12 +- .../3rdparty/ltl2dstar-0.5.1/src/NBA2DRA.hpp | 2 +- .../ltl2dstar-0.5.1/src/NBAAnalysis.hpp | 18 +- .../ltl2dstar-0.5.1/src/NBAStutterClosure.hpp | 10 +- .../ltl2dstar-0.5.1/src/SafraTree.hpp | 6 +- .../ltl2dstar-0.5.1/src/SafraTreeTemplate.hpp | 6 +- .../ltl2dstar-0.5.1/src/StateMapper.hpp | 2 +- .../src/StutterSensitivenessInformation.hpp | 4 +- .../ltl2dstar-0.5.1/src/StutteredNBA2DA.hpp | 2 +- .../src/common/HashFunction.hpp | 2 +- .../src/common/RunProgram.win32.cpp | 6 +- .../ltl2dstar-0.5.1/src/common/hash_map.hpp | 4 +- .../win32/Ltl2dStar/Ltl2dStar.sln | 26 ++ .../win32/Ltl2dStar/Ltl2dStar.vcxproj | 236 +++++++++++++ .../win32/Ltl2dStar/Ltl2dStar.vcxproj.filters | 324 ++++++++++++++++++ 21 files changed, 647 insertions(+), 62 deletions(-) create mode 100644 resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.sln create mode 100644 resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj create mode 100644 resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj.filters diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/APSet.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/APSet.hpp index 747d11e30..d0081f41e 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/APSet.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/APSet.hpp @@ -26,11 +26,11 @@ #include #include +#include #include "common/Exceptions.hpp" #include #include -#include typedef unsigned int ap_index_t; @@ -183,10 +183,11 @@ private: ap_index_t array_size; }; -/** A reference counted pointer (boost::shared_ptr) to an APSet. */ -typedef boost::shared_ptr APSet_p; -/** A reference counted pointer (boost::shared_ptr) to a const APSet. */ -typedef boost::shared_ptr APSet_cp; +#include +/** A reference counted pointer (std::shared_ptr) to an APSet. */ +typedef std::shared_ptr APSet_p; +/** A reference counted pointer (std::shared_ptr) to a const APSet. */ +typedef std::shared_ptr APSet_cp; #endif diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/DAUnionAlgorithm.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/DAUnionAlgorithm.hpp index 787abab36..6c869f48f 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/DAUnionAlgorithm.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/DAUnionAlgorithm.hpp @@ -23,6 +23,7 @@ #include "NBA2DA.hpp" #include "StutteredNBA2DA.hpp" +#include /** @file * Provides DAUnionAlgorithm for calculating the union of two DA. @@ -56,7 +57,7 @@ struct UnionAcceptanceCalculator { /** RabinAcceptance signature type. */ typedef RabinAcceptance::signature_type signature_t; /** shared_ptr of signature type. */ - typedef boost::shared_ptr signature_ptr; + typedef std::shared_ptr signature_ptr; /** * Constructor. @@ -136,7 +137,7 @@ template class DAUnionAlgorithm { public: /** shared_ptr for DA_t type*/ - typedef typename boost::shared_ptr DA_ptr; + typedef typename std::shared_ptr DA_ptr; /** state_type from DA_t */ typedef typename DA_t::state_type da_state_t; /** acceptance condition type from DA_t */ @@ -151,9 +152,9 @@ public: /** Index of the state from the second automaton */ unsigned int da_state_2; /** A shared_ptr with the acceptance signature of this state */ - boost::shared_ptr signature; + std::shared_ptr signature; /** A shared_ptr to a string containing a detailed description of this state */ - boost::shared_ptr description; + std::shared_ptr description; /** Constructor. * @param da_state_1_ index of the state in the first automaton @@ -225,7 +226,7 @@ public: * @param description_ the description */ void setDescription(const std::string& description_) { - description=boost::shared_ptr(new std::string(description_)); + description=std::shared_ptr(new std::string(description_)); } /** Generate a simple representation of this state @@ -259,7 +260,7 @@ public: }; /** shared_ptr of UnionState */ - typedef boost::shared_ptr UnionState_ptr; + typedef std::shared_ptr UnionState_ptr; /** A simple wrapper for UnionState_Result to accomodate the plugging in with fuzzy matching */ struct UnionState_Result { @@ -272,7 +273,7 @@ public: } }; /** shared_ptr for UnionState_Result */ - typedef boost::shared_ptr UnionState_Result_ptr; + typedef std::shared_ptr UnionState_Result_ptr; typedef UnionState_Result_ptr result_t; typedef UnionState_ptr state_t; diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/DRA.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/DRA.hpp index 8edb0ac3e..0205c44cc 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/DRA.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/DRA.hpp @@ -38,8 +38,7 @@ #include #include -#include "boost/shared_ptr.hpp" - +#include /** * A class representing a deterministic Rabin automaton. *

@@ -71,8 +70,8 @@ class DRA : public DA { typedef RabinAcceptance acceptance_condition_type; - /** Type of a reference counted pointer to the DRA (boost::shared_ptr) */ - typedef boost::shared_ptr< DRA > shared_ptr; + /** Type of a reference counted pointer to the DRA (std::shared_ptr) */ + typedef std::shared_ptr< DRA > shared_ptr; /** Create a new instance of the automaton. */ virtual DA *createInstance(APSet_cp ap_set) { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/GraphAlgorithms.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/GraphAlgorithms.hpp index 7fc79b64d..4f46c5d37 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/GraphAlgorithms.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/GraphAlgorithms.hpp @@ -30,8 +30,8 @@ #include #include -#include #include +#include /** * A class for storing information about the Strongly Connected Components (SCCs) @@ -228,7 +228,7 @@ private: std::stack _stack; /** The SCC_DFS_Data for every state (state index -> DFS_DATA) */ - std::vector > _dfs_data; + std::vector > _dfs_data; /** The current scc number */ unsigned int scc_nr; diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/LTLFormula.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/LTLFormula.hpp index 314d77e41..0ad7ab7fa 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/LTLFormula.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/LTLFormula.hpp @@ -28,17 +28,17 @@ #include "APMonom.hpp" #include "common/Exceptions.hpp" -#include +#include #include #include // forward declaration class LTLNode; /** Type of a shared_ptr to an LTLNode */ -typedef boost::shared_ptr LTLNode_p; +typedef std::shared_ptr LTLNode_p; /** A node in the syntax tree of an LTL formula. Memory management is - * automatic using boost::shared_ptr */ + * automatic using std::shared_ptr */ class LTLNode { public: enum type_t {T_AP, @@ -519,8 +519,8 @@ private: // Forward declaration class LTLFormula; -/** Type of boost::shared_ptr for LTLFormula */ -typedef boost::shared_ptr LTLFormula_ptr; +/** Type of std::shared_ptr for LTLFormula */ +typedef std::shared_ptr LTLFormula_ptr; /** An LTLFormula is a tree of LTLNode_p and an underlying APSet*/ class LTLFormula { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/LTLPrefixParser.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/LTLPrefixParser.hpp index 025ea53ec..2511d1584 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/LTLPrefixParser.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/LTLPrefixParser.hpp @@ -123,7 +123,7 @@ public: APSet_cp apset_=(predefined_apset.get()!=0) ? predefined_apset : - boost::const_pointer_cast(apset); + std::const_pointer_cast(apset); return LTLFormula_ptr(new LTLFormula(ltl, apset_)); diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/NBA.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/NBA.hpp index 9ea4868a2..46422fed9 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/NBA.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/NBA.hpp @@ -29,8 +29,8 @@ #include "common/BitSet.hpp" #include -#include +#include #include #include #include @@ -185,14 +185,14 @@ public: setStartState((*this)[state]); } - /** Type of a boost::shared_ptr for this NBA */ - typedef boost::shared_ptr< NBA > shared_ptr; + /** Type of a std::shared_ptr for this NBA */ + typedef std::shared_ptr< NBA > shared_ptr; bool isDeterministic(); static - boost::shared_ptr > + std::shared_ptr > product_automaton(NBA& nba_1, NBA& nba_2); private: @@ -454,11 +454,11 @@ NBA::print_dot(std::ostream& out) { template class EdgeContainer > -boost::shared_ptr > +std::shared_ptr > NBA::product_automaton(NBA& nba_1, NBA& nba_2) { assert(nba_1.getAPSet() == nba_2.getAPSet()); - boost::shared_ptr > product_nba(new NBA(nba_1.getAPSet_cp())); + std::shared_ptr > product_nba(new NBA(nba_1.getAPSet_cp())); const APSet& apset=nba_1.getAPSet(); assert(apset == nba_2.getAPSet()); diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/NBA2DRA.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/NBA2DRA.hpp index 0e68d5bff..fd5afbd81 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/NBA2DRA.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/NBA2DRA.hpp @@ -125,7 +125,7 @@ public: std::cerr << "WARNING: NBA might not be 100% stutter insensitive, applying stutter closure can create invalid results!" << std::endl; } - boost::shared_ptr nba_closed= + std::shared_ptr nba_closed= NBAStutterClosure::stutter_closure(nba); if (can_stutter()) { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/NBAAnalysis.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/NBAAnalysis.hpp index 8aef21f09..9ee843135 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/NBAAnalysis.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/NBAAnalysis.hpp @@ -26,7 +26,7 @@ #include "GraphAlgorithms.hpp" -#include +#include /** @@ -39,13 +39,13 @@ private: NBA_t& _nba; /** Information about the SCCs of the NBA (cached) */ - boost::shared_ptr _sccs; + std::shared_ptr _sccs; /** Information about the states where all the successor states are accepting (cached) */ - boost::shared_ptr _allSuccAccepting; + std::shared_ptr _allSuccAccepting; /** Information about the states that have an accepting true self-loop (cached) */ - boost::shared_ptr _accepting_true_loops; + std::shared_ptr _accepting_true_loops; /** Information about the reachability of states (cached) */ - boost::shared_ptr > _reachability; + std::shared_ptr > _reachability; public: /** Constructor. @@ -63,7 +63,7 @@ public: */ SCCs& getSCCs() { if (!_sccs) { - _sccs=boost::shared_ptr(new SCCs()); + _sccs=std::shared_ptr(new SCCs()); GraphAlgorithms::calculateSCCs(_nba, *_sccs); } return *_sccs; @@ -116,7 +116,7 @@ public: */ std::vector& getReachability() { if (!_reachability) { - _reachability=boost::shared_ptr > (getSCCs().getReachabilityForAllStates()); + _reachability=std::shared_ptr > (getSCCs().getReachabilityForAllStates()); } return *_reachability; @@ -214,7 +214,7 @@ private: * only have accepting successors. */ void calculateStatesWithAllSuccAccepting() { - _allSuccAccepting=boost::shared_ptr(new BitSet()); + _allSuccAccepting=std::shared_ptr(new BitSet()); BitSet& result=*_allSuccAccepting; SCCs& sccs=getSCCs(); @@ -286,7 +286,7 @@ private: * Calculate the set of states that are accepting and have a true self loop. */ void calculateAcceptingTrueLoops() { - _accepting_true_loops=boost::shared_ptr(new BitSet()); + _accepting_true_loops=std::shared_ptr(new BitSet()); BitSet& isAcceptingTrueLoop=*_accepting_true_loops; SCCs& sccs=getSCCs(); diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/NBAStutterClosure.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/NBAStutterClosure.hpp index 13b859642..e9ebd8101 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/NBAStutterClosure.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/NBAStutterClosure.hpp @@ -29,7 +29,7 @@ #include "APElement.hpp" -#include +#include /** @@ -41,10 +41,10 @@ public: * @param nba the NBA */ template - static boost::shared_ptr stutter_closure(NBA_t& nba) { + static std::shared_ptr stutter_closure(NBA_t& nba) { APSet_cp apset=nba.getAPSet_cp(); - boost::shared_ptr nba_result_ptr(new NBA_t(apset)); + std::shared_ptr nba_result_ptr(new NBA_t(apset)); NBA_t& result=*nba_result_ptr; unsigned int element_count=apset->powersetSize(); @@ -143,10 +143,10 @@ public: * @param label the symbol for which to perform the stutter closure */ template - static boost::shared_ptr stutter_closure(NBA_t& nba, APElement label) { + static std::shared_ptr stutter_closure(NBA_t& nba, APElement label) { APSet_cp apset=nba.getAPSet_cp(); - boost::shared_ptr nba_result_ptr(new NBA_t(apset)); + std::shared_ptr nba_result_ptr(new NBA_t(apset)); NBA_t& result=*nba_result_ptr; unsigned int element_count=apset->powersetSize(); diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp index 89e82c823..05dbc715e 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTree.hpp @@ -34,8 +34,6 @@ #include #include -#include - // forward declaration template class SafraTreeWalker; @@ -439,8 +437,8 @@ private: } }; -/** a boost::shared_ptr for SafraTree */ -typedef boost::shared_ptr SafraTree_ptr; +/** a std::shared_ptr for SafraTree */ +typedef std::shared_ptr SafraTree_ptr; namespace std { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTreeTemplate.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTreeTemplate.hpp index 0fadcc25d..e1ae17aed 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTreeTemplate.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/SafraTreeTemplate.hpp @@ -27,7 +27,7 @@ #include "SafraTree.hpp" #include "common/BitSet.hpp" -#include +#include /** * A SafraTreeTemplate consists of a SafraTree and two BitSets, @@ -135,7 +135,7 @@ private: BitSet _restrictedNames; }; -/** A boost::shared_ptr for a SafraTreeTemplate */ -typedef boost::shared_ptr SafraTreeTemplate_ptr; +/** A std::shared_ptr for a SafraTreeTemplate */ +typedef std::shared_ptr SafraTreeTemplate_ptr; #endif diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/StateMapper.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/StateMapper.hpp index 6f75b632f..d8121dedc 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/StateMapper.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/StateMapper.hpp @@ -86,7 +86,7 @@ public: private: - /** A functor using the standard hash function on boost::shared_ptr */ + /** A functor using the standard hash function on std::shared_ptr */ template struct std_hash { size_t operator()(const K& x) const { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/StutterSensitivenessInformation.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/StutterSensitivenessInformation.hpp index cf37a39d7..194709df9 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/StutterSensitivenessInformation.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/StutterSensitivenessInformation.hpp @@ -166,7 +166,7 @@ public: } /** shared_ptr */ - typedef boost::shared_ptr ptr; + typedef std::shared_ptr ptr; /** Static, do Timekeeping? */ static bool hasTimekeeping() { @@ -208,7 +208,7 @@ private: * using nba and complement_nba */ template bool is_stutter_insensitive(NBA_t& nba, NBA_t& nba_complement, APElement label) { - typedef boost::shared_ptr NBA_ptr; + typedef std::shared_ptr NBA_ptr; NBA_ptr stutter_closed_nba=NBAStutterClosure::stutter_closure(nba, label); diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/StutteredNBA2DA.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/StutteredNBA2DA.hpp index dfac05794..026d2d788 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/StutteredNBA2DA.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/StutteredNBA2DA.hpp @@ -60,7 +60,7 @@ public: AcceptanceSignature& getSignature() {return _signature;} /** A shared_ptr to a TreeWithAcceptance */ - typedef boost::shared_ptr > ptr; + typedef std::shared_ptr > ptr; /** Check if this TreeWithAcceptance is equal to another. * @param other the other TreeWithAcceptance. diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/common/HashFunction.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/common/HashFunction.hpp index ee15ecf51..6a078d0f3 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/common/HashFunction.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/common/HashFunction.hpp @@ -70,7 +70,7 @@ typedef HashFunctionDJB2 StdHashFunction; -/** A functor using the standard hash function on boost::shared_ptr */ +/** A functor using the standard hash function on std::shared_ptr */ template struct ptr_hash { size_t operator()(const K& x) const { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/common/RunProgram.win32.cpp b/resources/3rdparty/ltl2dstar-0.5.1/src/common/RunProgram.win32.cpp index 868417caf..541d3e06b 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/common/RunProgram.win32.cpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/common/RunProgram.win32.cpp @@ -44,9 +44,9 @@ RunProgram::RunProgram(const std::string& program, command_line.append("\""); } - STARTUPINFO startUpInfo; + STARTUPINFOA startUpInfo; PROCESS_INFORMATION processInfo; - GetStartupInfo(&startUpInfo); + GetStartupInfoA(&startUpInfo); if (!inheritStdStreams) { startUpInfo.hStdInput=INVALID_HANDLE_VALUE; @@ -67,7 +67,7 @@ RunProgram::RunProgram(const std::string& program, } } - if (CreateProcess((CHAR*)filename, + if (CreateProcessA((CHAR*)filename, (CHAR*)command_line.c_str(), 0, // process attributes 0, // thread attributes diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/common/hash_map.hpp b/resources/3rdparty/ltl2dstar-0.5.1/src/common/hash_map.hpp index 36da37503..fb755f46f 100644 --- a/resources/3rdparty/ltl2dstar-0.5.1/src/common/hash_map.hpp +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/common/hash_map.hpp @@ -110,8 +110,8 @@ struct StdComparator { */ template struct PtrComparator { - typedef typename KeyPtr::value_type value_type; - typedef boost::shared_ptr ptr_type; + typedef typename KeyPtr::element_type value_type; + typedef std::shared_ptr ptr_type; /** equal_to functor */ struct equal_to { diff --git a/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.sln b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.sln new file mode 100644 index 000000000..899fd51d7 --- /dev/null +++ b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.sln @@ -0,0 +1,26 @@ + +Microsoft Visual Studio Solution File, Format Version 12.00 +# Visual Studio 2012 +Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "Ltl2dStar", "Ltl2dStar.vcxproj", "{BFAFC7BB-2EF8-4630-A377-F970EB7842B8}" +EndProject +Global + GlobalSection(SolutionConfigurationPlatforms) = preSolution + Debug|Win32 = Debug|Win32 + Debug|x64 = Debug|x64 + Release|Win32 = Release|Win32 + Release|x64 = Release|x64 + EndGlobalSection + GlobalSection(ProjectConfigurationPlatforms) = postSolution + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Debug|Win32.ActiveCfg = Debug|Win32 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Debug|Win32.Build.0 = Debug|Win32 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Debug|x64.ActiveCfg = Debug|x64 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Debug|x64.Build.0 = Debug|x64 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Release|Win32.ActiveCfg = Release|Win32 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Release|Win32.Build.0 = Release|Win32 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Release|x64.ActiveCfg = Release|x64 + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8}.Release|x64.Build.0 = Release|x64 + EndGlobalSection + GlobalSection(SolutionProperties) = preSolution + HideSolutionNode = FALSE + EndGlobalSection +EndGlobal diff --git a/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj new file mode 100644 index 000000000..174c5509f --- /dev/null +++ b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj @@ -0,0 +1,236 @@ + + + + + Debug + Win32 + + + Debug + x64 + + + Release + Win32 + + + Release + x64 + + + + {BFAFC7BB-2EF8-4630-A377-F970EB7842B8} + Win32Proj + Ltl2dStar + + + + StaticLibrary + true + v110 + Unicode + + + StaticLibrary + true + v110 + Unicode + + + StaticLibrary + false + v110 + true + Unicode + + + StaticLibrary + false + v110 + true + Unicode + + + + + + + + + + + + + + + + + + + + + + + Level3 + Disabled + WIN32;_DEBUG;_LIB;%(PreprocessorDefinitions) + + + Windows + true + + + + + + + Level3 + Disabled + WIN32;_DEBUG;_LIB;%(PreprocessorDefinitions) + I:\C++ Projects\boost\boost_1_53_0;$(ProjectDir)..\..\src;%(AdditionalIncludeDirectories) + + + Windows + true + + + + + Level3 + + + MaxSpeed + true + true + WIN32;NDEBUG;_LIB;%(PreprocessorDefinitions) + + + Windows + true + true + true + + + + + Level3 + + + MaxSpeed + true + true + WIN32;NDEBUG;_LIB;%(PreprocessorDefinitions) + I:\C++ Projects\boost\boost_1_53_0;$(ProjectDir)..\..\src;%(AdditionalIncludeDirectories) + + + Windows + true + true + true + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj.filters b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj.filters new file mode 100644 index 000000000..c9a2f1f70 --- /dev/null +++ b/resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/Ltl2dStar.vcxproj.filters @@ -0,0 +1,324 @@ + + + + + {4FC737F1-C7A5-4376-A066-2A32D752A2FF} + cpp;c;cc;cxx;def;odl;idl;hpj;bat;asm;asmx + + + {93995380-89BD-4b04-88EB-625FBE52EBFB} + h;hpp;hxx;hm;inl;inc;xsd + + + {67DA6AB6-F800-4c08-8B7A-83BB121AAD01} + rc;ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe;resx;tiff;tif;png;wav;mfcribbon-ms + + + {3a7babf6-cfd4-471b-82ec-2746d2f62bac} + + + {154fb171-0ba7-418d-8c0e-8331ba7c6b5c} + + + {cb4ba346-a38d-41bb-8d8b-119c7b502faf} + + + {6d12798f-6a28-4dff-b40f-faaa4f739d58} + + + {8fe76392-fb01-4e83-83fe-b220d1a09fb4} + + + {58e12c69-7829-4771-abc6-8e0bb6780175} + + + + + + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\common + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\boost1 + + + Header Files\parsers + + + Header Files\parsers + + + Header Files\parsers + + + Header Files\parsers + + + + + Source Files + + + Source Files + + + Source Files + + + Source Files + + + Source Files\common + + + Source Files\common + + + Source Files\common + + + Source Files\parsers + + + Source Files\parsers + + + Source Files\parsers + + + Source Files\parsers + + + \ No newline at end of file