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

twacube_algos: add support for are_equivalent

Browse source 
* spot/twacube_algos/convert.cc,
spot/twacube_algos/convert.hh,
tests/core/twacube.cc: Here.
This commit is contained in:
Etienne Renault 2020-05-07 13:46:32 +02:00
parent 92845612a1
commit 89675a2762
3 changed files with 80 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/core/twacube.cc
View file

@ -49,6 +49,8 @@ int main()
// Test translation
auto aut = twa_to_twacube(tg);
assert(spot::are_equivalent(aut, tg));
spot::print_dot(std::cout, tg, "A");
std::cout << "-----------\n" << *aut << "-----------\n";