package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Misc functions
Printing helpers
Lexbuf helpers

package dolmen

dolmen
- Dolmen
dolmen.ae
- Dolmen_ae
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
dolmen.class
- Dolmen_class
  - Logic
    
    Make
    
    I
    
    L
    
    S
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    T
    
    S
    
    S
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
dolmen.dimacs
- Dolmen_dimacs
  - Make
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
dolmen.icnf
- Dolmen_icnf
  - Make
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
dolmen.intf
- Dolmen_intf
  - Id
    
    Escape
    
    Logic
  - Language
    
    S
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
  - Lex
    
    S
  - Location
    
    S
  - Msg
  - Parse
    
    S
    
    Incremental
    
    MenhirInterpreter
  - Stmt
    
    Logic
  - Tag
    
    S
    
    Smtlib_Base
    
    Zf_Base
  - Term
    
    Ae_Arith
    
    Ae_Base
    
    Logic
    
    Smtlib_Arith_Common
    
    Smtlib_Array
    
    Smtlib_Base
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Bitv
    
    Float
    
    Real
    
    Smtlib_Float_Bitv
    
    Smtlib_Float_Float
    
    Smtlib_Float_Real
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Int
    
    Real
    
    Smtlib_String
    
    String
    
    RegLan
    
    Smtlib_String_RegLan
    
    Smtlib_String_String
    
    RegLan
    
    Tff
    
    Const
    
    Cstr
    
    Field
    
    Var
    
    Tptp_Arith
    
    Int
    
    Rat
    
    Real
    
    Tptp_Arith_Common
    
    Tptp_Base
  - Tok
  - Ty
    
    Ae_Arith
    
    Ae_Base
    
    Smtlib_Array
    
    Smtlib_Base
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Smtlib_String
    
    Tff
    
    Const
    
    Var
    
    Tptp_Arith
    
    Tptp_Base
dolmen.line
- Dolmen_line
dolmen.smtlib2
- Dolmen_smtlib2
dolmen.smtlib2.poly
- Dolmen_smtlib2_poly
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
dolmen.smtlib2.v6
- Dolmen_smtlib2_v6
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
dolmen.std
- Dolmen_std
  - Escape
    
    Make
    
    Id
  - Expr
    
    Filter
    
    S
    
    Id
    
    Print
    
    Subst
    
    S
    
    Var
    
    Tags
    
    Term
    
    Bitv
    
    Const
    
    Cstr
    
    Field
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    RegLan
    
    Var
    
    Ty
    
    Const
    
    Var
  - Id
  - Loc
  - Misc
  - Msg
  - Normalize
    
    Smtlib
    
    Tptp
  - Pretty
  - Statement
  - Tag
  - Term
  - Tok
  - Transformer
    
    Make
    
    Lex
    
    Loc
    
    Parse
    
    Incremental
    
    MenhirInterpreter
    
    Ty
  - Vec
dolmen.tptp
- Dolmen_tptp
dolmen.tptp.v6_3_0
- Dolmen_tptp_v6_3_0
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term
dolmen.zf
- Dolmen_zf
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    Incremental
    
    MenhirInterpreter
    
    S
    
    T
  - Statement
  - Term

Legend:
Library
Module
Module type
Parameter
Class
Class type

Misc functions

val get_extension : string -> string

Returns the extension of a file, i.e the shortest suffix containing the character '.'. Returns an empty string if such a suffix does not exists.

val split_on_char : char -> string -> string list

Split on characters in a string (see Stdlib's split_on_char).

val replicate : int -> 'a -> 'a list

Returns a list with n times the given value. Returns an empty list if n

val opt_map : 'a option -> ('a -> 'b) -> 'b option

Map on option.

val opt_bind : 'a option -> ('a -> 'b option) -> 'b option

Bind on option.

Printing helpers

val pp_opt : 
  ?none:string ->
  (Stdlib.Buffer.t -> 'a -> unit) ->
  Stdlib.Buffer.t ->
  'a option ->
  unit

Print an option

val pp_list : 
  pp_sep:(Stdlib.Buffer.t -> 'a -> unit) ->
  sep:'a ->
  pp:(Stdlib.Buffer.t -> 'b -> unit) ->
  Stdlib.Buffer.t ->
  'b list ->
  unit

Print a list with separator into a buffer

val print_opt : 
  ?none:string ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a option ->
  unit

Print an option.

val print_list : 
  print_sep:(Stdlib.Format.formatter -> 'a -> unit) ->
  sep:'a ->
  print:(Stdlib.Format.formatter -> 'b -> unit) ->
  Stdlib.Format.formatter ->
  'b list ->
  unit

Print a list with separator into a buffer

Lexbuf helpers

val filename_of_input : 
  [ `Stdin | `File of string | `Contents of string * string ] ->
  string

Filename string of an input.

val filename_of_input_source : 
  [ `Stdin | `File of string | `Raw of string * string ] ->
  string

Filename string of an input source.

val mk_lexbuf : 
  [ `Stdin | `File of string | `Contents of string * string ] ->
  Stdlib.Lexing.lexbuf * (unit -> unit)

Returns the lexbuf associetd with the given file or stdin, with the correct filename, together with a function to close the associated file descriptor. The `Contents constructor expect first a name for the input stream (to report errors), and then a string with the actual contents to be parsed.