return $self->id();
}
-# does the bottom right-most expression end in a NOT?
-sub right_ends_in_not
-{
- my($self, $node)=@_;
- return 0 unless($node);
- my $right=$node->right();
- if($right && $right->type() == $TYPE_BOOL)
- {
- return $self->right_ends_in_not($right);
- }
- my $op=$node->name();
- return 0 unless($op);
- return 1 if($op eq "NOT");
- return 0;
-}
-
1;