3991a51a17
* src/ltlvisit/clone.hh (clone): Likewise. * src/ltlvisit/destroy.cc (destroy): New const version. * src/ltlvisit/destroy.hh (destroy): Likewise. * src/tgba/tgbabddconcretefactory.cc (tgba_bdd_concrete_factory::create_state, tgba_bdd_concrete_factory::create_atomic_prop, tgba_bdd_concrete_factory::promise): Clone new formulae. * src/tgba/tgbabdddict.cc (tgba_bdd_dict::tgba_bdd_dict, tgba_bdd_dict::~tgba_bdd_dict, tgba_bdd_dict::operator=): New methods that clone and destroy formulae. * src/tgbatest/ltl2tgba.test, src/tgbatest/ltl2tgba.cc: New files. * src/tgbatest/Makefile.am (check_PROGRAMS): Add ltl2tgba. (ltl2tgba_SOURCES): New variable. (TESTS): Add ltl2tgba.test.
17 lines
313 B
C++
17 lines
313 B
C++
#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);
|
|
/// \brief Destroys a formula
|
|
void destroy(const formula *f);
|
|
}
|
|
}
|
|
|
|
#endif // SPOT_LTLVISIT_DESTROY_HH
|