Lines Matching refs:node_seen
8995 my $node_seen;
8998 $node_seen = $other_node;
9001 echo_error("Node equivalent with `$node->{'texi'}' allready used `$node_seen'");
11832 my $node_seen;
11837 $node_seen = $equivalent_node;
11841 if (defined($node_seen))
11843 echo_warn (" ---> but equivalent node `$node_seen' found");
11844 $node->{$direction} = $nodes{$node_seen};
15167 my $node_seen;
15172 $node_seen = $equivalent_node;
15176 if (defined($node_seen))
15178 echo_warn (" ---> but equivalent node `$node_seen' found");
15179 $element = $nodes{$node_seen};