| line | true | false | branch | 
 
| 15 | 0 | 292 | if $num != 1 | 
 
| 23 | 6 | 74 | $self->is_accepting($s) ? : | 
 
| 52 | 0 | 6 | unless grep {not $dfas[$_]->is_accepting($start[$_]);} 0 .. $#dfas | 
 
| 63 | 74 | 406 | unless (exists $newstates{_TUPLE_ID(@next)}) | 
 
| 66 | 0 | 74 | unless grep {not $dfas[$_]->is_accepting($next[$_]);} 0 .. $#dfas | 
 
| 83 | 0 | 0 | if $num != 1 | 
 
| 94 | 552 | 0 | if (@ret) | 
 
| 95 | 135 | 417 | if ($ret[0] == $state) | 
 
| 96 | 134 | 1 | if $result->is_state($state) | 
 
| 115 | 2157 | 12198 | if (1 == grep(defined($_), @final{$s1, $s2})) | 
 
| 122 | 36281 | 29109 | if @t == 1 | 
 
| 124 | 6132 | 22977 | unless ($equiv[$t[0]][$t[1]]) | 
 
| 131 | 137 | 511 | unless $changed | 
 
| 137 | 207 | 776 | if exists $newstate{$s} | 
 
| 173 | 0 | 10752 | unless (@next) | 
 
| 178 | 1603 | 0 | if $self->is_accepting($current) | 
 
| 196 | 1110 | 4566 | if (defined $t) | 
 
| 227 | 0 | 0 | unless (exists $dflabel_ref->{$startNode}) | 
 
| 230 | 0 | 0 | unless (exists $dflabel_ref->{$adjacent}) | 
 
| 234 | 0 | 0 | if ($self->array_is_subset([$adjacent], [$self->get_accepting])) | 
 
| 253 | 0 | 0 | if 1 < $_[0] | 
 
| 276 | 0 | 0 | if ($DEPTH >= $c1) | 
 
| 280 | 0 | 0 | if ($DEPTH > $c2) | 
 
| 286 | 0 | 0 | if ($self->array_is_subset([$adjacent], [@{$goals_ref;}])) | 
 
| 308 | 572 | 80 | unless (exists $dflabel_ref->{$adjacent}) | 
 
| 325 | 208 | 507 | $self->array_is_subset([$start], $accepting_ref) ? : | 
 
| 343 | 125 | 590 | unless (@substack) | 
 
| 349 | 203 | 387 | if ($r->{'string'}) | 
 
| 366 | 2075 | 3 | ref $dflabel_ref eq 'HASH' ? : | 
 
| 367 | 2075 | 3 | if ($max and $c1 < $max) | 
 
| 371 | 1343 | 663 | if ($c2 < $max) | 
 
| 390 | 1405 | 673 | $self->array_is_subset([$start], $accepting_ref) ? : | 
 
| 412 | 125 | 1953 | unless (@substack) | 
 
| 418 | 1400 | 553 | if ($r->{'string'}) | 
 
| 427 | 125 | 0 | @_ ? : |