Home | History | Annotate | Download | only in annotation-file-utilities

Lines Matching refs:Figure

125 \begin{figure}[ht]
135 \end{figure}
137 Figure~\ref{fig:dataflow} gives an overview of proposed changes to the
195 \begin{figure}[ht]
203 \end{figure}
210 node (see Figure~\ref{fig:corresp}) should be visited as well to see
278 \begin{figure}[ht]
290 \end{figure}
292 \begin{figure}[ht]
298 an annotated cast \texttt{(@A int)} to the previous figure's code. With
299 respect to the graph in the previous figure, \texttt{TypeCast} has taken
304 \end{figure}