/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 

    

  1. /******************************************************************************
    2. 

  2. * MODULE     : tree_correct.hpp
    3. 

  3. * DESCRIPTION: make a tree syntactically match a drd
    4. 

  4. * COPYRIGHT  : (C) 2005  Joris van der Hoeven
    5. 

  5. *******************************************************************************
    6. 

  6. * This software falls under the GNU general public license version 3 or later.
    7. 

  7. * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
    8. 

  8. * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
    9. 

  9. ******************************************************************************/
    10. 

  10. 

  11. #ifndef TREE_CORRECT_H
    12. 

  12. #define TREE_CORRECT_H
    13. 

  13. #include "drd_std.hpp"
    14. 

  14. 

  15. tree drd_correct (drd_info drd, tree t);
    16. 

  16. tree with_correct (tree t);
    17. 

  17. tree superfluous_with_correct (tree t);
    18. 

  18. tree superfluous_invisible_correct (tree t);
    19. 

  19. tree missing_invisible_correct (tree t, int force= -1);
    20. 

  20. tree upgrade_brackets (tree t, string mode= "text");
    21. 

  21. tree upgrade_big (tree t);
    22. 

  22. tree downgrade_brackets (tree t, bool del_miss= false, bool big_dot= true);
    23. 

  23. tree downgrade_big (tree t);
    24. 

  24. tree move_brackets (tree t);
    25. 

  25. 

  26. int  count_math_errors (tree t, int mode= 0);
    27. 

  27. void math_status_cumul (tree t);
    28. 

  28. void math_status_print ();
    29. 

  29. void math_status_reset ();
    30. 

  30. 

  31. tree latex_correct (tree t);
    32. 

  32. tree automatic_correct (tree t, string version);
    33. 

  33. tree manual_correct (tree t);
    34. 

  34. 

  35. #endif // defined TREE_CORRECT_H
    36.