alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/twa/twasafracomplement.cc: Remove two unused methods.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-07-23 18:05:32 +02:00
parent e76596e1bf
commit 5cd8c1b8cc
1 changed files with 0 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

17
src/twa/twasafracomplement.cc
View file

@ -172,17 +172,6 @@ namespace spot
n->destroy(); n->destroy();
} }
safra_tree&
safra_tree::operator=(const safra_tree& other)
{
if (this != &other)
{
this->~safra_tree();
new (this) safra_tree(other);
}
return *this;
}
/// \brief Compare two safra trees. /// \brief Compare two safra trees.
/// ///
/// \param other the tree to compare too. /// \param other the tree to compare too.
@ -932,12 +921,6 @@ namespace spot
return new state_complement(*this); return new state_complement(*this);
} }
const state*
state_complement::get_state() const
{
return this;
}
std::string std::string
state_complement::to_string() const state_complement::to_string() const
{ {