|  line  | 
 true  | 
 false  | 
 branch  | 
 
| 
23
 | 
 68  | 
 82  | 
 if (blessed $data and $data->isa('Logic::Variable')) { }  | 
 
| 
 | 
 9  | 
 73  | 
 elsif (ref $data eq 'ARRAY') { }  | 
 
| 
 | 
 0  | 
 73  | 
 elsif (blessed $data and $data->can('resolve')) { }  | 
 
| 
24
 | 
 67  | 
 1  | 
 if ($data->bound($state)) { }  | 
 
| 
28
 | 
 0  | 
 1  | 
 if ($options{'vars'} eq 'string') { }  | 
 
| 
 | 
 0  | 
 1  | 
 elsif ($options{'vars'}) { }  | 
 
| 
78
 | 
 56  | 
 160  | 
 if (blessed($$self{'a'}) and $$self{'a'}->isa('Logic::Variable')) { }  | 
 
| 
79
 | 
 13  | 
 43  | 
 if ($$self{'a'}->bound($state)) { }  | 
 
| 
81
 | 
 1  | 
 12  | 
 if (blessed $left and $left->isa('Logic::Variable'))  | 
 
| 
93
 | 
 35  | 
 180  | 
 if (blessed($$self{'b'}) and $$self{'b'}->isa('Logic::Variable')) { }  | 
 
| 
94
 | 
 1  | 
 34  | 
 if ($$self{'b'}->bound($state)) { }  | 
 
| 
96
 | 
 0  | 
 1  | 
 if (blessed $right and $right->isa('Logic::Variable'))  | 
 
| 
110
 | 
 2  | 
 213  | 
 if ($lvar and $rvar) { }  | 
 
| 
 | 
 41  | 
 172  | 
 elsif ($lvar) { }  | 
 
| 
 | 
 32  | 
 140  | 
 elsif ($rvar) { }  | 
 
| 
133
 | 
 31  | 
 109  | 
 if (not ref $left || ref $right) { }  | 
 
| 
 | 
 97  | 
 12  | 
 elsif (ref $left eq 'ARRAY' and ref $right eq 'ARRAY') { }  | 
 
| 
134
 | 
 9  | 
 22  | 
 $left eq $right ? :  | 
 
| 
137
 | 
 41  | 
 56  | 
 if (not @$left || @$right) { }  | 
 
| 
 | 
 42  | 
 14  | 
 elsif (@$left and @$right) { }  | 
 
| 
150
 | 
 1  | 
 11  | 
 if (blessed $left and $left->can('unify')) { }  | 
 
| 
 | 
 11  | 
 0  | 
 elsif (blessed $right and $right->can('unify')) { }  | 
 
| 
196
 | 
 0  | 
 0  | 
 if (ref $tail eq 'ARRAY') { }  | 
 
| 
206
 | 
 0  | 
 10  | 
 if (blessed $other and $other->isa('Logic::Data::Cons')) { }  | 
 
| 
 | 
 10  | 
 0  | 
 elsif (ref $other eq 'ARRAY') { }  | 
 
| 
213
 | 
 8  | 
 2  | 
 if (@$other)  |