Fix some struct/class missmatches reported by clang.
* src/ltlast/predecl.hh: Predeclare the LTL AST nodes as class, not struct. * src/ltlast/nfa.hh (formula_tree::node): Predeclare as struct, not class.
This commit is contained in:
parent
2b46cb4bab
commit
2ba963200a
3 changed files with 23 additions and 12 deletions
|
|
@ -1,3 +1,12 @@
|
||||||
|
2010-11-20 Alexandre Duret-Lutz <adl@lrde.epita.fr>
|
||||||
|
|
||||||
|
Fix some struct/class missmatches reported by clang.
|
||||||
|
|
||||||
|
* src/ltlast/predecl.hh: Predeclare the LTL AST nodes as class,
|
||||||
|
not struct.
|
||||||
|
* src/ltlast/nfa.hh (formula_tree::node): Predeclare as struct,
|
||||||
|
not class.
|
||||||
|
|
||||||
2010-11-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
|
2010-11-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
|
||||||
|
|
||||||
Add interface for and test the bdd_setxor() function added to Buddy.
|
Add interface for and test the bdd_setxor() function added to Buddy.
|
||||||
|
|
|
||||||
|
|
@ -1,4 +1,4 @@
|
||||||
// Copyright (C) 2008 Laboratoire de Recherche et Développement
|
// Copyright (C) 2008, 2010 Laboratoire de Recherche et Développement
|
||||||
// de l'Epita (LRDE).
|
// de l'Epita (LRDE).
|
||||||
//
|
//
|
||||||
// This file is part of Spot, a model checking library.
|
// This file is part of Spot, a model checking library.
|
||||||
|
|
@ -39,7 +39,7 @@ namespace spot
|
||||||
/// which are defined in formula_tree.hh, included in nfa.cc.
|
/// which are defined in formula_tree.hh, included in nfa.cc.
|
||||||
namespace formula_tree
|
namespace formula_tree
|
||||||
{
|
{
|
||||||
class node;
|
struct node;
|
||||||
}
|
}
|
||||||
|
|
||||||
/// \brief Nondeterministic Finite Automata used by automata operators.
|
/// \brief Nondeterministic Finite Automata used by automata operators.
|
||||||
|
|
|
||||||
|
|
@ -1,6 +1,8 @@
|
||||||
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
|
// Copyright (C) 2010 Laboratoire de Recherche et Developpement
|
||||||
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
|
// de l'Epita.
|
||||||
// et Marie Curie.
|
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6
|
||||||
|
// (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
|
||||||
|
// Pierre et Marie Curie.
|
||||||
//
|
//
|
||||||
// This file is part of Spot, a model checking library.
|
// This file is part of Spot, a model checking library.
|
||||||
//
|
//
|
||||||
|
|
@ -36,13 +38,13 @@ namespace spot
|
||||||
struct visitor;
|
struct visitor;
|
||||||
struct const_visitor;
|
struct const_visitor;
|
||||||
|
|
||||||
struct atomic_prop;
|
class atomic_prop;
|
||||||
struct unop;
|
class unop;
|
||||||
struct constant;
|
class constant;
|
||||||
struct binop;
|
class binop;
|
||||||
struct formula;
|
class formula;
|
||||||
struct multop;
|
class multop;
|
||||||
struct automatop;
|
class automatop;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue