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

Speed up computation of constant term on [->] and [=] operators.

Browse source 
* src/ltlvisit/consterm.cc: Stop the recursion on [->] and [=].
This commit is contained in:
Alexandre Duret-Lutz 2010-10-15 12:30:11 +02:00
parent bfa827c774
commit c6a751b9d4
1 changed files with 13 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/ltlvisit/consterm.cc
View file

@ -73,10 +73,19 @@ namespace spot
void
visit(const bunop* bo)
{
switch (bo->op())
{
case bunop::Star:
if (bo->min() == 0)
result_ = true;
else
bo->child()->accept(*this);
break;
case bunop::Equal:
case bunop::Goto:
result_ = bo->min() == 0;
break;
}
}
void