/TeXmacs-1.0.7.11-src/src/Data/Tree/tree_correct.hpp

 1
 2/******************************************************************************
 3* MODULE     : tree_correct.hpp
 4* DESCRIPTION: make a tree syntactically match a drd
 5* COPYRIGHT  : (C) 2005  Joris van der Hoeven
 6*******************************************************************************
 7* This software falls under the GNU general public license version 3 or later.
 8* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
 9* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
10******************************************************************************/
11
12#ifndef TREE_CORRECT_H
13#define TREE_CORRECT_H
14#include "drd_std.hpp"
15
16tree drd_correct (drd_info drd, tree t);
17tree with_correct (tree t);
18tree superfluous_with_correct (tree t);
19tree superfluous_invisible_correct (tree t);
20tree missing_invisible_correct (tree t, int force= -1);
21tree upgrade_brackets (tree t, string mode= "text");
22tree upgrade_big (tree t);
23tree downgrade_brackets (tree t, bool del_miss= false, bool big_dot= true);
24tree downgrade_big (tree t);
25tree move_brackets (tree t);
26
27int  count_math_errors (tree t, int mode= 0);
28void math_status_cumul (tree t);
29void math_status_print ();
30void math_status_reset ();
31
32tree latex_correct (tree t);
33tree automatic_correct (tree t, string version);
34tree manual_correct (tree t);
35
36#endif // defined TREE_CORRECT_H