mirror of https://github.com/CGAL/cgal
This is not a chapter on its own so there is no need for main.tex and intro.tex
This commit is contained in:
parent
d6fc208475
commit
7ebc94ec53
|
|
@ -1,13 +0,0 @@
|
|||
% +------------------------------------------------------------------------+
|
||||
% | CGAL Reference Manual: main.tex
|
||||
% +------------------------------------------------------------------------+
|
||||
% | Profiling tools for CGAL
|
||||
% |
|
||||
% | 04.03.1999 Lutz Kettner
|
||||
% +------------------------------------------------------------------------+
|
||||
|
||||
\ccUserChapter{Benchmark support tools\label{chapterProfiling_tools}}
|
||||
\ccChapterAuthor{Lutz Kettner \and Sylvain Pion}
|
||||
|
||||
\input{Profiling_tools/Profiling_tools}
|
||||
%% EOF %%
|
||||
|
|
@ -1,19 +0,0 @@
|
|||
% +------------------------------------------------------------------------+
|
||||
% | CGAL Reference Manual: Timer intro
|
||||
% +------------------------------------------------------------------------+
|
||||
|
||||
\ccRefChapter{Benchmark Support Tools}
|
||||
\ccChapterAuthor{Lutz Kettner \and Sylvain Pion}
|
||||
|
||||
|
||||
This chapter decribes classes for measuring user process time and real time
|
||||
as well as the memory size. It also provides a profile counter tool.
|
||||
|
||||
|
||||
\section{Classified Reference Pages}
|
||||
|
||||
\subsection*{Classes}
|
||||
\ccc{CGAL::Timer}\\
|
||||
\ccc{CGAL::Real_timer}\\
|
||||
\ccc{CGAL::Memory_sizer}\\
|
||||
\ccc{CGAL::Profile_counter}\\
|
||||
|
|
@ -1,15 +0,0 @@
|
|||
% +------------------------------------------------------------------------+
|
||||
% | Profiling Tools
|
||||
% +------------------------------------------------------------------------+
|
||||
%
|
||||
% SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
|
||||
% SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
|
||||
% SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
|
||||
%
|
||||
\input{Profiling_tools_ref/intro}
|
||||
\input{Profiling_tools_ref/Timer}
|
||||
\input{Profiling_tools_ref/Real_timer}
|
||||
\input{Profiling_tools_ref/Memory_sizer}
|
||||
\input{Profiling_tools_ref/Profile_counter}
|
||||
|
||||
%% EOF %%
|
||||
Loading…
Reference in New Issue