Commit acf25424 authored by Etienne Renault's avatar Etienne Renault Committed by Alexandre Duret-Lutz
Browse files

remove useless forward declaration

* spot/ta/taexplicit.hh,
spot/twaalgos/compsusp.hh,
spot/twaalgos/isunamb.hh,
spot/twaalgos/word.hh: Here.
parent b33a88d8
// -*- 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.
......
// -*- 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.
///
......
// -*- 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
/// @{
......
// -*- 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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment