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

Use taa_tgba_formula instead of taa_tgba_string in ltl_to_taa to

Browse source 
speed up a little the translation.

* src/tgbaalgos/ltl2taa.cc: Adjust.  Also fix a bug with
acceptance conditions in all_n_tuples.
* src/tgba/taatgba.cc, src/tgba/taatgba.hh: Adjust.
This commit is contained in:
Damien Lefortier 2010-01-16 13:33:04 +01:00
parent 7c20d8ae5d
commit beb3744581
4 changed files with 65 additions and 41 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgba/taatgba.cc
View file

@ -350,7 +350,7 @@ namespace spot
`----------------*/
std::string
taa_tgba_string::label_to_string(const std::string& label) const
taa_tgba_string::label_to_string(const std::string label) const
{
return label;
}

4
src/tgba/taatgba.hh
View file

@ -338,7 +338,7 @@ namespace spot
taa_tgba_string(bdd_dict* dict) :
taa_tgba_labelled<std::string, string_hash>(dict) {};
protected:
std::string label_to_string(const std::string& label) const;
virtual std::string label_to_string(const std::string label) const;
};
class taa_tgba_formula :
@ -348,7 +348,7 @@ namespace spot
taa_tgba_formula(bdd_dict* dict):
taa_tgba_labelled<const ltl::formula*, ltl::formula_ptr_hash>(dict) {};
protected:
std::string label_to_string(const ltl::formula* label) const;
virtual std::string label_to_string(const ltl::formula* label) const;
};
}