Commit c829cbba authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

get rid of tgta.cc

Fixes #76.

* src/ta/tgta.cc: Delete, and move the empty
constructor and destructor...
* src/ta/tgta.hh: ... here.
* src/ta/Makefile.am: Adjust.
parent a06ae1e9
## -*- coding: utf-8 -*-
## Copyright (C) 2010, 2012, 2013 Laboratoire de Recherche et
## Copyright (C) 2010, 2012, 2013, 2015 Laboratoire de Recherche et
## Développement de l'Epita (LRDE).
##
## This file is part of Spot, a model checking library.
......@@ -34,7 +34,6 @@ noinst_LTLIBRARIES = libta.la
libta_la_SOURCES = \
ta.cc \
taproduct.cc \
tgta.cc \
tgtaexplicit.cc \
taexplicit.cc \
tgtaproduct.cc
// -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
//
// Spot is free software; you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 3 of the License, or
// (at your option) any later version.
//
// Spot is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
// License for more deta_explicitils.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
#include "tgta.hh"
namespace spot
{
tgta::tgta(const bdd_dict_ptr& d)
: twa(d)
{};
tgta::~tgta()
{};
}
......@@ -60,11 +60,15 @@ namespace spot
{
protected:
tgta(const bdd_dict_ptr& d);
tgta(const bdd_dict_ptr& d)
: twa(d)
{
}
public:
virtual
~tgta();
virtual ~tgta()
{
}
/// \brief Get an iterator over the successors of \a state
/// filtred by the value of the changeset on transitions between the
......
Markdown is supported
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