package touist

You can search for identifiers within the package.

in-package search v0.2.0

touist
- Touist
  - Cnf
  - Err
  - Eval
  - Latex
  - Lexer
  - Parse
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - ParserMsgs
  - ParserReport
  - Pprint
  - Qbf
  - SatSolve
    
    Model
    
    ModelSet
  - Smt
  - Types
    
    Ast
    
    AstSet
touist.qbf
- Touist_qbf
  - QbfSolve
touist.yices2
- Touist_yices2
  - SmtSolve

Legend:
Library
Module
Module type
Parameter
Class
Class type

Transform any AST (at any stage of transformation) to a string.

val string_of_ast : 
  ?utf8:bool ->
  ?show_var:(Types.AstSet.elt -> string) ->
  ?debug:bool ->
  ?parenthesis:bool ->
  Types.AstSet.elt ->
  string

string_of_ast ast takes an abstract syntaxic tree ast and turn it into a string using its content. ~debug:true allows to include all user-hidden AST stuff. ~show_var:f passes f each time. (????) ~utf8:true will output utf-8 symbols instead of plain text, e.g., ∃, ∈, ⋀ instead of exists, in, and. ~parenthesis:true will display more parenthesis than usual in order to show the priority on operators.

NOTE: the parenthesis param has not been implemented yet (!!).

val string_of_ast_list : 
  ?utf8:bool ->
  ?show_var:(Types.AstSet.elt -> string) ->
  ?debug:bool ->
  ?parenthesis:bool ->
  string ->
  Types.AstSet.elt list ->
  string

string_of_ast_list sep ast_list does the same as string_of_ast except that it prints a list of ast separated by the string sep.

val string_of_ast_type : ?debug:bool -> Types.Ast.t -> string

string_of_ast_type gives the type of an AST.