Commit 09bba54b authored by Damien Lefortier's avatar Damien Lefortier
Browse files

* src/tgba/taa.cc, src/tgbatest/taa.cc: Adjust.

parent 11ecdf2b
2009-11-07 Damien Lefortier <dam@lrde.epita.fr>
* src/tgba/taa.cc, src/tgbatest/taa.cc: Adjust.
2009-11-07 Damien Lefortier <dam@lrde.epita.fr>
* src/tgba/taa.cc, src/tgba/taa.hh: Speed up the cartesian product
......
......@@ -62,8 +62,8 @@ namespace spot
void
taa::set_init_state(const std::string& s)
{
std::vector<std::string> v;
v.push_back(s);
std::vector<std::string> v(1);
v[0] = s;
set_init_state(v);
}
......@@ -150,7 +150,9 @@ namespace spot
state*
taa::get_init_state() const
{
return new spot::state_set(init_);
assert(init_);
taa::state_set* ss = new taa::state_set(*init_);
return new spot::state_set(ss);
}
tgba_succ_iterator*
......
......@@ -50,6 +50,7 @@ main()
a->add_condition(t2, e.require("b"));
a->add_condition(t3, e.require("c"));
a->set_init_state("state 1");
spot::dotty_reachable(std::cout, a);
delete a;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment