PageRenderTime 97ms CodeModel.GetById 26ms RepoModel.GetById 0ms app.codeStats 0ms

/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. 

  3. * MODULE     : tree_correct.hpp
    4. 

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

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

  6. *******************************************************************************
    7. 

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

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

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

  10. ******************************************************************************/
    11. 

  11. 

  12. #ifndef TREE_CORRECT_H
    13. 

  13. #define TREE_CORRECT_H
    14. 

  14. #include "drd_std.hpp"
    15. 

  15. 

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

  17. tree with_correct (tree t);
    18. 

  18. tree superfluous_with_correct (tree t);
    19. 

  19. tree superfluous_invisible_correct (tree t);
    20. 

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

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

  22. tree upgrade_big (tree t);
    23. 

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

  24. tree downgrade_big (tree t);
    25. 

  25. tree move_brackets (tree t);
    26. 

  26. 

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

  28. void math_status_cumul (tree t);
    29. 

  29. void math_status_print ();
    30. 

  30. void math_status_reset ();
    31. 

  31. 

  32. tree latex_correct (tree t);
    33. 

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

  34. tree manual_correct (tree t);
    35. 

  35. 

  36. #endif // defined TREE_CORRECT_H
    37. 

  37.