| line |
true |
false |
branch |
|
201
|
0 |
0 |
if $self->has_minterms and $self->has_maxterms
|
|
207
|
0 |
0 |
if $w < 1
|
|
211
|
0 |
0 |
if ($self->has_columnstring or $self->has_columnlist) { }
|
|
213
|
0 |
0 |
if $self->has_minterms or $self->has_maxterms or $self->has_dontcares
|
|
215
|
0 |
0 |
if $self->has_columnstring and $self->has_columnlist
|
|
220
|
0 |
0 |
$self->has_columnstring ? :
|
|
222
|
0 |
0 |
if ($cl != 0)
|
|
224
|
0 |
0 |
$self->has_columnlist ? :
|
|
226
|
0 |
0 |
if $cl > 0
|
|
234
|
0 |
0 |
if ($self->has_minterms) { }
|
|
|
0 |
0 |
elsif ($self->has_maxterms) { }
|
|
237
|
0 |
0 |
unless scalar @terms
|
|
242
|
0 |
0 |
unless scalar @terms
|
|
249
|
0 |
0 |
if ($self->has_dontcares)
|
|
252
|
0 |
0 |
if (scalar @dcs) { }
|
|
260
|
0 |
0 |
if (scalar @intersect != 0)
|
|
273
|
0 |
0 |
unless $_ >= $wp2
|
|
275
|
0 |
0 |
if (scalar @outside)
|
|
285
|
0 |
0 |
if length $self->dc != 1
|
|
286
|
0 |
0 |
if $self->dc =~ qr/[01]/u
|
|
291
|
0 |
0 |
if scalar @{$self->vars;} < $w
|
|
303
|
0 |
0 |
$self->has_min_bits ? :
|
|
308
|
0 |
0 |
if $self->has_minterms
|
|
309
|
0 |
0 |
if $self->has_maxterms
|
|
313
|
0 |
0 |
if ($self->has_dontcares)
|
|
346
|
0 |
0 |
if ($_ eq '1') { }
|
|
|
0 |
0 |
elsif ($_ eq '0') { }
|
|
393
|
0 |
0 |
$is_sop ? :
|
|
405
|
0 |
0 |
if ($#covers == 0)
|
|
407
|
0 |
0 |
if ($covers[0] =~ /[^01]{$w}/u) { }
|
|
409
|
0 |
0 |
$is_sop ? :
|
|
417
|
0 |
0 |
if $self->get_order_by eq 'covers'
|
|
420
|
0 |
0 |
if $self->get_order_by eq 'vars'
|
|
441
|
0 |
0 |
$is_sop ? :
|
|
451
|
0 |
0 |
$trits[$_] == $cond ? :
|