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

Fix prototype of atomic_prop_collect_as_bdd().

Browse source 
* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh
(atomic_prop_collect_as_bdd): Take a const tgba.
This commit is contained in:
Alexandre Duret-Lutz 2012-09-24 14:52:18 +02:00
parent d138853676
commit b0678a21a2
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/apcollect.cc
View file

@ -66,7 +66,7 @@ namespace spot
} }
bdd bdd
atomic_prop_collect_as_bdd(const formula* f, tgba* a) atomic_prop_collect_as_bdd(const formula* f, const tgba* a)
{ {
spot::ltl::atomic_prop_set aps; spot::ltl::atomic_prop_set aps;
atomic_prop_collect(f, &aps); atomic_prop_collect(f, &aps);

2
src/ltlvisit/apcollect.hh
View file

@ -62,7 +62,7 @@ namespace spot
/// \param a that automaton that should register the BDD variables used. /// \param a that automaton that should register the BDD variables used.
/// \return A conjunction the atomic propositions. /// \return A conjunction the atomic propositions.
bdd bdd
atomic_prop_collect_as_bdd(const formula* f, tgba* a); atomic_prop_collect_as_bdd(const formula* f, const tgba* a);
/// @} /// @}
} }