diff --git a/src/ltlvisit/simplify.hh b/src/ltlvisit/simplify.hh index b9c942239..22ba9c393 100644 --- a/src/ltlvisit/simplify.hh +++ b/src/ltlvisit/simplify.hh @@ -175,7 +175,9 @@ namespace spot private: ltl_simplifier_cache* cache_; // Copy disallowed. - ltl_simplifier(const ltl_simplifier&); + ltl_simplifier(const ltl_simplifier&) = delete; + void operator=(const ltl_simplifier&) = delete; + bool owndict; }; } diff --git a/src/ta/taexplicit.hh b/src/ta/taexplicit.hh index e32d3e414..46e7a6712 100644 --- a/src/ta/taexplicit.hh +++ b/src/ta/taexplicit.hh @@ -132,9 +132,8 @@ namespace spot private: // Disallow copy. - ta_explicit(const ta_explicit& other); - ta_explicit& - operator=(const ta_explicit& other); + ta_explicit(const ta_explicit& other) = delete; + ta_explicit& operator=(const ta_explicit& other) = delete; const tgba* tgba_; bdd all_acceptance_conditions_; diff --git a/src/ta/taproduct.hh b/src/ta/taproduct.hh index 311e804e4..64c01f26a 100644 --- a/src/ta/taproduct.hh +++ b/src/ta/taproduct.hh @@ -202,9 +202,8 @@ namespace spot const kripke* kripke_; // Disallow copy. - ta_product(const ta_product&); - ta_product& - operator=(const ta_product&); + ta_product(const ta_product&) = delete; + ta_product& operator=(const ta_product&) = delete; }; diff --git a/src/tgba/bdddict.hh b/src/tgba/bdddict.hh index e43e7b89d..1e6cfbb5a 100644 --- a/src/tgba/bdddict.hh +++ b/src/tgba/bdddict.hh @@ -239,8 +239,8 @@ namespace spot private: // Disallow copy. - bdd_dict(const bdd_dict& other); - bdd_dict& operator=(const bdd_dict& other); + bdd_dict(const bdd_dict& other) = delete; + bdd_dict& operator=(const bdd_dict& other) = delete; }; diff --git a/src/tgba/taatgba.hh b/src/tgba/taatgba.hh index 506fdfb58..0fad01e9a 100644 --- a/src/tgba/taatgba.hh +++ b/src/tgba/taatgba.hh @@ -78,8 +78,8 @@ namespace spot private: // Disallow copy. - taa_tgba(const taa_tgba& other); - taa_tgba& operator=(const taa_tgba& other); + taa_tgba(const taa_tgba& other) = delete; + taa_tgba& operator=(const taa_tgba& other) = delete; }; /// Set of states deriving from spot::state. diff --git a/src/tgba/tgbabddconcrete.hh b/src/tgba/tgbabddconcrete.hh index 227a1935a..f295045de 100644 --- a/src/tgba/tgbabddconcrete.hh +++ b/src/tgba/tgbabddconcrete.hh @@ -91,8 +91,8 @@ namespace spot bdd init_; ///< Initial state. private: // Disallow copy. - tgba_bdd_concrete(const tgba_bdd_concrete&); - tgba_bdd_concrete& operator=(const tgba_bdd_concrete&); + tgba_bdd_concrete(const tgba_bdd_concrete&) = delete; + tgba_bdd_concrete& operator=(const tgba_bdd_concrete&) = delete; }; } diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh index b12326158..5ea3dada4 100644 --- a/src/tgba/tgbaexplicit.hh +++ b/src/tgba/tgbaexplicit.hh @@ -709,8 +709,8 @@ namespace spot private: // Disallow copy. - tgba_explicit(const tgba_explicit& other); - tgba_explicit& operator=(const tgba_explicit& other); + tgba_explicit(const tgba_explicit& other) = delete; + tgba_explicit& operator=(const tgba_explicit& other) = delete; }; template @@ -739,8 +739,8 @@ namespace spot private: // Disallow copy. - sba_explicit(const sba_explicit& other); - sba_explicit& operator=(const sba_explicit& other); + sba_explicit(const sba_explicit& other) = delete; + sba_explicit& operator=(const sba_explicit& other) = delete; }; diff --git a/src/tgba/tgbaproduct.hh b/src/tgba/tgbaproduct.hh index 1647969f6..b0254e15e 100644 --- a/src/tgba/tgbaproduct.hh +++ b/src/tgba/tgbaproduct.hh @@ -126,8 +126,8 @@ namespace spot private: // Disallow copy. - tgba_product(const tgba_product&); - tgba_product& operator=(const tgba_product&); + tgba_product(const tgba_product&) = delete; + tgba_product& operator=(const tgba_product&) = delete; }; /// \brief A lazy product with different initial states. diff --git a/src/tgba/tgbasgba.hh b/src/tgba/tgbasgba.hh index 7e3affa25..7de9c1ed0 100644 --- a/src/tgba/tgbasgba.hh +++ b/src/tgba/tgbasgba.hh @@ -66,8 +66,8 @@ namespace spot bool emulate_acc_cond_; bdd acceptance_condition_; // Disallow copy. - tgba_sgba_proxy(const tgba_sgba_proxy&); - tgba_sgba_proxy& operator=(const tgba_sgba_proxy&); + tgba_sgba_proxy(const tgba_sgba_proxy&) = delete; + tgba_sgba_proxy& operator=(const tgba_sgba_proxy&) = delete; }; } diff --git a/src/tgba/tgbatba.hh b/src/tgba/tgbatba.hh index 9c87c666d..c4d99643b 100644 --- a/src/tgba/tgbatba.hh +++ b/src/tgba/tgbatba.hh @@ -120,8 +120,8 @@ namespace spot mutable void* uniq_map_; // Disallow copy. - tgba_tba_proxy(const tgba_tba_proxy&); - tgba_tba_proxy& operator=(const tgba_tba_proxy&); + tgba_tba_proxy(const tgba_tba_proxy&) = delete; + tgba_tba_proxy& operator=(const tgba_tba_proxy&) = delete; }; /// \ingroup tgba_on_the_fly_algorithms diff --git a/src/tgba/tgbaunion.hh b/src/tgba/tgbaunion.hh index e77d5c3e5..e35e835af 100644 --- a/src/tgba/tgbaunion.hh +++ b/src/tgba/tgbaunion.hh @@ -151,8 +151,8 @@ namespace spot bdd all_acceptance_conditions_; bdd neg_acceptance_conditions_; // Disallow copy. - tgba_union(const tgba_union&); - tgba_union& operator=(const tgba_union&); + tgba_union(const tgba_union&) = delete; + tgba_union& operator=(const tgba_union&) = delete; }; diff --git a/src/tgba/wdbacomp.cc b/src/tgba/wdbacomp.cc index f55e66a8e..ff65efb4b 100644 --- a/src/tgba/wdbacomp.cc +++ b/src/tgba/wdbacomp.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement -// de l'Epita. +// Copyright (C) 2011, 2012, 2013 Laboratoire de Recherche et +// Développement de l'Epita. // // This file is part of Spot, a model checking library. // @@ -271,8 +271,8 @@ namespace spot bdd the_acceptance_cond_; // Disallow copy. - tgba_wdba_comp_proxy(const tgba_wdba_comp_proxy&); - tgba_wdba_comp_proxy& operator=(const tgba_wdba_comp_proxy&); + tgba_wdba_comp_proxy(const tgba_wdba_comp_proxy&) = delete; + tgba_wdba_comp_proxy& operator=(const tgba_wdba_comp_proxy&) = delete; }; }