destroy.hh 313 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
#ifndef SPOT_LTLVISIT_DESTROY_HH
# define SPOT_LTLVISIT_DESTROY_HH

#include "ltlvisit/postfix.hh"

namespace spot
{
  namespace ltl
  {
    /// \brief Destroys a formula
    void destroy(formula *f);
12
13
    /// \brief Destroys a formula
    void destroy(const formula *f);
14
15
16
17
  }
}

#endif // SPOT_LTLVISIT_DESTROY_HH