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

remove useless forward declaration

Browse source 
* spot/ta/taexplicit.hh,
spot/twaalgos/compsusp.hh,
spot/twaalgos/isunamb.hh,
spot/twaalgos/word.hh: Here.
This commit is contained in:
Etienne Renault 2018-07-20 15:55:27 +02:00
parent d08193508e
commit a1877ab4e1
4 changed files with 4 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/ta/taexplicit.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire
// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2018 Laboratoire
// de Recherche et Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -32,7 +32,6 @@ namespace spot
{
// Forward declarations. See below.
class state_ta_explicit;
class ta_explicit_succ_iterator;
class ta_explicit;
/// Explicit representation of a spot::ta.

4
spot/twaalgos/compsusp.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
// Copyright (C) 2012, 2013, 2014, 2015, 2018 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -24,8 +24,6 @@
namespace spot
{
class bdd_dict;
/// \brief Compositional translation algorithm with resetable
/// suspension.
///

4
spot/twaalgos/isunamb.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013, 2015 Laboratoire de Recherche et Developpement
// Copyright (C) 2013, 2015, 2018 Laboratoire de Recherche et Developpement
// de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -23,8 +23,6 @@
namespace spot
{
class tgba;
/// \addtogroup twa_misc
/// @{

4
spot/twaalgos/word.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et
// Copyright (C) 2013, 2014, 2015, 2016, 2018 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -23,8 +23,6 @@
namespace spot
{
class bdd_dict;
/// \brief An infinite word stored as a lasso.
///
/// This is not exactly a word in the traditional sense because we