diff --git a/spot/twacube/twacube.cc b/spot/twacube/twacube.cc index 8a49c29ab..c0fdfbf23 100644 --- a/spot/twacube/twacube.cc +++ b/spot/twacube/twacube.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2015 Laboratoire de Recherche et Developpement de +// Copyright (C) 2015, 2016 Laboratoire de Recherche et Developpement de // l'EPITA (LRDE). // // This file is part of Spot, a model checking library. @@ -52,7 +52,7 @@ namespace spot transition::transition() { } - twacube::twacube(const std::vector& aps): + twacube::twacube(const std::vector aps): init_(0U), aps_(aps), cubeset_(aps.size()) { } @@ -74,7 +74,7 @@ namespace spot return acc_; } - const std::vector& twacube::get_ap() + std::vector twacube::get_ap() { return aps_; } diff --git a/spot/twacube/twacube.hh b/spot/twacube/twacube.hh index 865594387..fa6fe0719 100644 --- a/spot/twacube/twacube.hh +++ b/spot/twacube/twacube.hh @@ -105,11 +105,11 @@ namespace spot { public: twacube() = delete; - twacube(const std::vector& aps); + twacube(const std::vector aps); virtual ~twacube(); const acc_cond& acc() const; acc_cond& acc(); - const std::vector& get_ap(); + std::vector get_ap(); unsigned int new_state(); void set_initial(unsigned int init); unsigned int get_initial(); @@ -146,7 +146,7 @@ namespace spot private: unsigned int init_; acc_cond acc_; - const std::vector& aps_; + const std::vector aps_; graph_t theg_; cubeset cubeset_; };