package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

package dolmen

dolmen
- Dolmen
dolmen.ae
- Dolmen_ae
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.class
- Dolmen_class
  - Logic
    
    Make
    
    E
    
    Smtlib2
    
    I
    
    L
    
    S
    
    Lexer
    
    Parser
    
    T
    
    S
    
    S
    
    Lexer
    
    Parser
  - Response
    
    Make
    
    I
    
    L
    
    S
    
    Lexer
    
    Parser
    
    T
    
    S
    
    S
    
    Lexer
    
    Parser
dolmen.dimacs
- Dolmen_dimacs
  - Make
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.icnf
- Dolmen_icnf
  - Make
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.intf
- Dolmen_intf
  - Ext
    
    Logic
    
    Smtlib2
  - Id
    
    Escape
    
    Logic
  - Language
    
    S
    
    Lexer
    
    Parser
  - Lex
    
    S
  - Location
    
    S
  - Map
    
    S
  - Msg
  - Parse
    
    S
  - Pretty
  - Stmt
    
    Logic
    
    Response
  - Tag
    
    Ae_Base
    
    S
    
    Smtlib_Base
    
    Zf_Base
  - Term
    
    Ae_Arith
    
    Int
    
    Real
    
    Ae_Arith_Common
    
    Ae_Array
    
    Ae_Base
    
    Ae_Bitv
    
    Dimacs
    
    Logic
    
    Smtlib_Arith_Common
    
    Smtlib_Array
    
    Smtlib_Base
    
    Smtlib_Bitv
    
    Smtlib_Bvconv
    
    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
    
    Thf
    
    Const
    
    Cstr
    
    Field
    
    Var
    
    Tptp_Tff_Arith
    
    Int
    
    Rat
    
    Real
    
    Tptp_Tff_Arith_Common
    
    Tptp_Tff_Core
    
    Tptp_Thf_Core
    
    Const
    
    Tptp_Thf_Core_Const
    
    Zf_Arith
    
    Int
    
    Zf_Base
  - Tok
  - Ty
    
    Ae_Arith
    
    Ae_Array
    
    Ae_Base
    
    Ae_Bitv
    
    Smtlib_Array
    
    Smtlib_Base
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Smtlib_String
    
    Tff
    
    Const
    
    Var
    
    Thf
    
    Const
    
    Var
    
    Tptp_Arith
    
    Tptp_Base
    
    Zf_Arith
    
    Zf_Base
dolmen.line
- Dolmen_line
dolmen.smtlib2
- Dolmen_smtlib2
  - Response
  - Script
dolmen.smtlib2.poly
- Dolmen_smtlib2_poly
  - Extension
  - Id
  - Make
    
    E
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Print
    
    L
    
    M
  - Statement
  - Term
dolmen.smtlib2.v6
- Dolmen_smtlib2_v6
dolmen.smtlib2.v6_response
- Dolmen_smtlib2_v6_response
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.smtlib2.v6_script
- Dolmen_smtlib2_v6_script
  - Extension
  - Id
  - Make
    
    E
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Print
  - Statement
  - Term
dolmen.std
- Dolmen_std
  - Answer
  - Builtin
  - Escape
    
    Make
    
    Id
  - Expr
    
    Id
    
    Print
    
    Subst
    
    S
    
    Var
    
    Tags
    
    Term
    
    Array
    
    Bitv
    
    Const
    
    Array
    
    Bitv
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    Reg_Lang
    
    Cstr
    
    Field
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    RegLan
    
    Var
    
    Ty
    
    Const
    
    Var
  - Extensions
    
    Smtlib2
  - Id
    
    Map
  - Loc
  - Maps
    
    Int
    
    Make
    
    Ord
    
    String
  - Maps_string
  - Misc
  - Msg
  - Name
    
    Map
  - Namespace
    
    Map
  - Normalize
    
    Smtlib
    
    Tptp
  - Path
  - Pretty
  - Statement
  - Stats
    
    Float
    
    Floats
  - Tag
  - Term
    
    S
  - Timer
  - Tok
  - Transformer
    
    Make
    
    Lex
    
    Loc
    
    Parse
    
    Ty
  - Vec
dolmen.tptp
- Dolmen_tptp
dolmen.tptp.v6_3_0
- Dolmen_tptp_v6_3_0
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term
dolmen.zf
- Dolmen_zf
  - Id
  - Make
    
    I
    
    L
    
    Lexer
    
    Parser
    
    S
    
    T
  - Statement
  - Term

Legend:
Library
Module
Module type
Parameter
Class
Class type

A module for string constant symbols that occur in terms.

val string : string -> t

String literal.

val length : t

String length.

val at : t

Get a char in a string.

val to_code : t

Returns the code point of a the single character of the string or (-1) if the string is not a singleton.

val of_code : t

Returns the singleton string whose only character is the given code point.

val is_digit : t

Check if the string a singleton string with a single digit character.

val to_int : t

Evaluates the string as a decimal natural number, or (-1) if it's not possible.

val of_int : t

Convert an int expression to a string in decimal representation.

val concat : t

String concatenation.

val sub : t

Substring extraction.

val index_of : t

Index of the first occurrence of the second string in first one, starting at the position of the third argument.

val replace : t

Replace the first occurrence.

val replace_all : t

Replace all occurrences.

val replace_re : t

Replace the leftmost, shortest re ocurrence.

val replace_re_all : t

Replace left-to-right, each shortest non empty re occurrence.

val is_prefix : t

Check if the first string is a prefix of the second one.

val is_suffix : t

Check if the first string is a suffix of the second one.

val contains : t

Check if the first string contains the second one.

val lt : t

Check for lexicographic strict ordering.

val leq : t

Check for lexicographic large ordering.

val in_re : t

Check if the string is in regular language.

module Reg_Lang : sig ... end

A module for regular language constant symbols that occur in terms.