package touist

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Utility

touist
- TouistCnf
- TouistErr
- TouistEval
- TouistLatex
- TouistParse
- TouistPprint
- TouistQbf
- TouistSatSolve
  - Model
  - ModelSet
- TouistSmt
- TouistTypes
  - Ast
  - AstSet
- TouistVersion

Legend:
Library
Module
Module type
Parameter
Class
Class type

Transform any AST (at any stage of transformation) to latex.

Note that the headers are not included; if you want to compile the resulting latex text in a real latex document, you would need to add (fr example):

\documentclass[11pt]{report}
\usepackage{mathtools}
\begin{document}
  % thing produced by latex_of_ast
\end{document}

Some details on the latex code produced:

tuple-propositions p(a,b,c) turn into p_a,b,c
variables are displayed in bold font and '$' is removed
we use \mathbf{} for setting bold font on variables. We could use \bm{} (which is a more appropriate way of using bold-font in the math env as it keeps the 'italic' way of displaying math) but \usepackage{bm} does not work with most tools: MathJax (javascript), jlatexmath (java).

val latex_of_ast : full:bool -> TouistTypes.AstSet.elt -> string

latex_of_ast turns an AST into latex. Two latex variants are targeted:

for light latex processors (mathjax, jlatexmath), you should use ~full:false
for fully-featured latex processors, you can use ~full:true.

Utility

val ast_fun : 
  (bool -> TouistTypes.Ast.t -> bool) ->
  bool ->
  TouistTypes.Ast.t ->
  bool

ast_fun will apply f on all *formula*-related elements of the AST where cond is true. The tranversal order should not be considered. Whenever a non-formula is given, acc will be immediatly returned.

val contains_newline : TouistTypes.Ast.t -> bool

val is_binary_op : TouistTypes.Ast.t -> bool

val contains_binary_op : TouistTypes.Ast.t -> bool