/TeXmacs-1.0.7.11-src/src/Data/Tree/tree_correct.hpp
C++ Header | 36 lines | 21 code | 6 blank | 9 comment | 0 complexity | d23b6203afb2d0533dd0acdc9f02a75f MD5 | raw file
Possible License(s): GPL-3.0, GPL-2.0, MPL-2.0-no-copyleft-exception
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