alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

graph: add SPOT_API on public classes.

Browse source 
* src/graph/graph.hh, src/graph/ngraph.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2014-02-17 15:51:10 +01:00
parent c793d3f13a
commit f968c4ed67
2 changed files with 10 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

17
src/graph/graph.hh
View file

@ -20,6 +20,7 @@
#ifndef SPOT_GRAPH_GRAPH_HH #ifndef SPOT_GRAPH_GRAPH_HH
# define SPOT_GRAPH_GRAPH_HH # define SPOT_GRAPH_GRAPH_HH
#include "misc/common.hh"
#include <vector> #include <vector>
#include <type_traits> #include <type_traits>
#include <tuple> #include <tuple>
@ -28,7 +29,7 @@
namespace spot namespace spot
{ {
template <typename State_Data, typename Trans_Data, bool Alternating = false> template <typename State_Data, typename Trans_Data, bool Alternating = false>
class digraph; class SPOT_API digraph;
namespace internal namespace internal
{ {
@ -40,7 +41,7 @@ namespace spot
// instance. // instance.
template <typename Data, bool boxed = !std::is_class<Data>::value> template <typename Data, bool boxed = !std::is_class<Data>::value>
struct boxed_label struct SPOT_API boxed_label
{ {
typedef Data data_t; typedef Data data_t;
Data label; Data label;
@ -69,7 +70,7 @@ namespace spot
}; };
template <> template <>
struct boxed_label<void, true>: public std::tuple<> struct SPOT_API boxed_label<void, true>: public std::tuple<>
{ {
typedef std::tuple<> data_t; typedef std::tuple<> data_t;
std::tuple<>& data() std::tuple<>& data()
@ -85,7 +86,7 @@ namespace spot
}; };
template <typename Data> template <typename Data>
struct boxed_label<Data, false>: public Data struct SPOT_API boxed_label<Data, false>: public Data
{ {
typedef Data data_t; typedef Data data_t;
@ -120,7 +121,7 @@ namespace spot
// one without. // one without.
template <typename Transition, typename State_Data> template <typename Transition, typename State_Data>
struct distate_storage: public State_Data struct SPOT_API distate_storage: public State_Data
{ {
Transition succ; // First outgoing transition (used when iterating) Transition succ; // First outgoing transition (used when iterating)
Transition succ_tail; // Last outgoing transition (used for Transition succ_tail; // Last outgoing transition (used for
@ -142,7 +143,7 @@ namespace spot
// Again two implementation: one with label, and one without. // Again two implementation: one with label, and one without.
template <typename State, typename Transition, typename Trans_Data> template <typename State, typename Transition, typename Trans_Data>
struct trans_storage: public Trans_Data struct SPOT_API trans_storage: public Trans_Data
{ {
typedef Transition transition; typedef Transition transition;
@ -171,7 +172,7 @@ namespace spot
// of that list. // of that list.
template <typename Graph> template <typename Graph>
class trans_iterator class SPOT_API trans_iterator
{ {
public: public:
typedef typename Graph::transition transition; typedef typename Graph::transition transition;
@ -224,7 +225,7 @@ namespace spot
// Fake container listing the outgoing transitions of a state. // Fake container listing the outgoing transitions of a state.
template <typename Graph> template <typename Graph>
class state_out class SPOT_API state_out
{ {
public: public:
typedef typename Graph::transition transition; typedef typename Graph::transition transition;

2
src/graph/ngraph.hh
View file

@ -30,7 +30,7 @@ namespace spot
typename State_Name, typename State_Name,
typename Name_Hash = std::hash<State_Name>, typename Name_Hash = std::hash<State_Name>,
typename Name_Equal = std::equal_to<State_Name>> typename Name_Equal = std::equal_to<State_Name>>
class named_graph class SPOT_API named_graph
{ {
protected: protected:
Graph& g_; Graph& g_;