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

* spot/twaalgos/translate.cc: Typos in comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-07-26 17:02:52 +02:00
parent b2e51545f9
commit 483b05c550
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/twaalgos/translate.cc
View file

@ -163,7 +163,7 @@ namespace spot
} }
if (r2.is_syntactic_obligation() || !r2.is(op::And, op::Or) || if (r2.is_syntactic_obligation() || !r2.is(op::And, op::Or) ||
// For TGBA/BA we only do conjunction. There is nothing wrong // For TGBA/BA we only do conjunction. There is nothing wrong
// with disjunction, but it seems to generated larger automata // with disjunction, but it seems to generate larger automata
// in many cases and it needs to be further investigated. Maybe // in many cases and it needs to be further investigated. Maybe
// this could be relaxed in the case of deterministic output. // this could be relaxed in the case of deterministic output.
(r2.is(op::Or) && (type_ == TGBA || type_ == BA))) (r2.is(op::Or) && (type_ == TGBA || type_ == BA)))
@ -189,8 +189,7 @@ namespace spot
if (!susp.empty()) if (!susp.empty())
{ {
// The only cases where we accept susp and rest to be both // The only cases where we accept susp and rest to be both
// non-empty is when doing arbitrary acceptance, or when doing // non-empty is when doing Generic acceptance or TGBA.
// Generic or TGBA.
if (!rest.empty() && !(type_ == Generic || type_ == TGBA)) if (!rest.empty() && !(type_ == Generic || type_ == TGBA))
{ {
rest.insert(rest.end(), susp.begin(), susp.end()); rest.insert(rest.end(), susp.begin(), susp.end());