GeoGen Development snapshot a3

ggen_progress.h

Go to the documentation of this file.
00001  /*
00002 
00003     This file is part of GeoGen.
00004 
00005     GeoGen is free software: you can redistribute it and/or modify
00006     it under the terms of the GNU General Public License as published by
00007     the Free Software Foundation, either version 2 of the License, or
00008     (at your option) any later version.
00009 
00010     GeoGen is distributed in the hope that it will be useful,
00011     but WITHOUT ANY WARRANTY; without even the implied warranty of
00012     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00013     GNU General Public License for more details.
00014 
00015     You should have received a copy of the GNU General Public License
00016     along with GeoGen.  If not, see <http://www.gnu.org/licenses/>.
00017 
00018 */
00019 
00024 #pragma once
00025 
00026 #include "ggen_support.h"
00027 #include "ggen.h"
00028 #include <assert.h>
00029 
00034 void GGen_InitProgress(uint32 max_progress);
00035 
00041 void GGen_SetProgress(uint32 current_progress);
00042 
00047 void GGen_IncreaseProgress();