Back to index

texmacs  1.0.7.15
tree_correct.hpp
Go to the documentation of this file.
00001 
00002 /******************************************************************************
00003 * MODULE     : tree_correct.hpp
00004 * DESCRIPTION: make a tree syntactically match a drd
00005 * COPYRIGHT  : (C) 2005  Joris van der Hoeven
00006 *******************************************************************************
00007 * This software falls under the GNU general public license version 3 or later.
00008 * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
00009 * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
00010 ******************************************************************************/
00011 
00012 #ifndef TREE_CORRECT_H
00013 #define TREE_CORRECT_H
00014 #include "drd_std.hpp"
00015 
00016 tree drd_correct (drd_info drd, tree t);
00017 tree with_correct (tree t);
00018 tree superfluous_with_correct (tree t);
00019 tree superfluous_invisible_correct (tree t);
00020 tree missing_invisible_correct (tree t, int force= -1);
00021 tree upgrade_brackets (tree t, string mode= "text");
00022 tree upgrade_big (tree t);
00023 tree downgrade_brackets (tree t, bool del_miss= false, bool big_dot= true);
00024 tree downgrade_big (tree t);
00025 tree move_brackets (tree t);
00026 
00027 int  count_math_errors (tree t, int mode= 0);
00028 void math_status_cumul (tree t);
00029 void math_status_print ();
00030 void math_status_reset ();
00031 
00032 tree latex_correct (tree t);
00033 tree automatic_correct (tree t, string version);
00034 tree manual_correct (tree t);
00035 
00036 #endif // defined TREE_CORRECT_H