package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Signature for Logic languages

doc
- CHANGES
- README
- Library dolmen
  - Dolmen
    
    Std
    
    Intf
    
    Line
    
    Ae
    
    Dimacs
    
    ICNF
    
    Tptp
    
    Smtlib2
    
    Zf
    
    Class
- Library dolmen.ae
  - Dolmen_ae
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen.class
  - Dolmen_class
    
    Logic
    
    S
    
    S
    
    Lexer
    
    Parser
    
    Make
    
    S
    
    Lexer
    
    Parser
    
    Response
    
    S
    
    S
    
    Lexer
    
    Parser
    
    Make
    
    S
    
    Lexer
    
    Parser
- Library dolmen.dimacs
  - Dolmen_dimacs
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen.icnf
  - Dolmen_icnf
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen.intf
  - Dolmen_intf
    
    Ext
    
    Logic
    
    Smtlib2
    
    Id
    
    Logic
    
    Response
    
    Escape
    
    Language
    
    S
    
    Lexer
    
    Parser
    
    Lex
    
    S
    
    Location
    
    S
    
    Map
    
    S
    
    Msg
    
    Parse
    
    S
    
    Pretty
    
    Stmt
    
    Response
    
    Logic
    
    Tag
    
    S
    
    Ae_Base
    
    Smtlib_Base
    
    Zf_Base
    
    Term
    
    Logic
    
    Response
    
    Tff
    
    Var
    
    Const
    
    Cstr
    
    Field
    
    Thf
    
    Var
    
    Const
    
    Cstr
    
    Field
    
    Dimacs
    
    Ae_Base
    
    Ae_Arith_Common
    
    Ae_Arith
    
    Int
    
    Real
    
    Ae_Array
    
    Ae_Bitv
    
    Tptp_Tff_Core
    
    Tptp_Thf_Core_Const
    
    Tptp_Thf_Core
    
    Const
    
    Tptp_Tff_Arith_Common
    
    Tptp_Tff_Arith
    
    Int
    
    Rat
    
    Real
    
    Smtlib_Base
    
    Smtlib_Arith_Common
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Int
    
    Real
    
    Smtlib_Array
    
    Smtlib_Bvconv
    
    Smtlib_Bitv
    
    Smtlib_Float_Bitv
    
    Smtlib_Float_Real
    
    Smtlib_Float_Float
    
    Smtlib_Float
    
    Real
    
    Bitv
    
    Float
    
    Smtlib_String_RegLan
    
    Smtlib_String_String
    
    RegLan
    
    Smtlib_String
    
    String
    
    RegLan
    
    Zf_Base
    
    Zf_Arith
    
    Int
    
    Tok
    
    Ty
    
    Tff
    
    Var
    
    Const
    
    Thf
    
    Var
    
    Const
    
    Ae_Base
    
    Ae_Arith
    
    Ae_Array
    
    Ae_Bitv
    
    Tptp_Base
    
    Tptp_Arith
    
    Smtlib_Base
    
    Smtlib_Int
    
    Smtlib_Real
    
    Smtlib_Real_Int
    
    Smtlib_Array
    
    Smtlib_Bitv
    
    Smtlib_Float
    
    Smtlib_String
    
    Zf_Base
    
    Zf_Arith
- Library dolmen.line
  - Dolmen_line
- Library dolmen.smtlib2
  - Dolmen_smtlib2
    
    Response
    
    V2_6
    
    Latest
    
    Script
    
    V2_6
    
    Poly
    
    Latest
- Library dolmen.std
  - Dolmen_std
    
    Answer
    
    Builtin
    
    Escape
    
    Arg
    
    Make
    
    Expr
    
    Tags
    
    Print
    
    Subst
    
    S
    
    Var
    
    Id
    
    Ty
    
    Var
    
    Const
    
    Term
    
    Var
    
    Const
    
    Int
    
    Rat
    
    Real
    
    Array
    
    Bitv
    
    Float
    
    String
    
    Reg_Lang
    
    Cstr
    
    Field
    
    Array
    
    Bitv
    
    Float
    
    Int
    
    Rat
    
    Real
    
    String
    
    RegLan
    
    Extensions
    
    Smtlib2
    
    Id
    
    Map
    
    Loc
    
    S
    
    Maps
    
    S
    
    Int
    
    String
    
    Make
    
    Maps_string
    
    Misc
    
    Msg
    
    Name
    
    Map
    
    Namespace
    
    Map
    
    Normalize
    
    Tptp
    
    Smtlib
    
    Path
    
    Pretty
    
    Statement
    
    Stats
    
    Float
    
    Floats
    
    Tag
    
    Term
    
    S
    
    Timer
    
    Tok
    
    Transformer
    
    Make
    
    Lexer
    
    Parser
    
    Vec
- Library dolmen.tptp
  - Dolmen_tptp
    
    V6_3_0
    
    Latest
- Library dolmen.zf
  - Dolmen_zf
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_smtlib2_poly
  - Dolmen_smtlib2_poly
    
    Id
    
    Term
    
    Statement
    
    Extension
    
    Print
    
    L
    
    T
    
    M
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_smtlib2_v6
  - Dolmen_smtlib2_v6
    
    Script
    
    Response
- Library dolmen_smtlib2_v6_response
  - Dolmen_smtlib2_v6_response
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_smtlib2_v6_script
  - Dolmen_smtlib2_v6_script
    
    Id
    
    Term
    
    Statement
    
    Extension
    
    Print
    
    Make
    
    Lexer
    
    Parser
- Library dolmen_tptp_v6_3_0
  - Dolmen_tptp_v6_3_0
    
    Id
    
    Term
    
    Statement
    
    Make
    
    Lexer
    
    Parser
- Sources
  - dolmen
    
    dolmen.ml
  - dolmen.ae
    
    ast.ml
    
    dolmen_ae.ml
    
    dolmen_ae__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen.class
    
    dolmen_class.ml
    
    logic.ml
    
    response.ml
  - dolmen.dimacs
    
    ast.ml
    
    dolmen_dimacs.ml
    
    dolmen_dimacs__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen.icnf
    
    ast.ml
    
    dolmen_icnf.ml
    
    dolmen_icnf__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen.intf
    
    dolmen_intf.ml
    
    ext.ml
    
    id.ml
    
    language.ml
    
    lex.ml
    
    location.ml
    
    map.ml
    
    msg.ml
    
    parse.ml
    
    pretty.ml
    
    stmt.ml
    
    tag.ml
    
    term.ml
    
    tok.ml
    
    ty.ml
  - dolmen.line
    
    dolmen_line.ml
    
    dolmen_line__.ml
    
    lexLine.ml
  - dolmen.smtlib2
    
    dolmen_smtlib2.ml
  - dolmen.std
    
    answer.ml
    
    builtin.ml
    
    dolmen_std.ml
    
    escape.ml
    
    expr.ml
    
    extensions.ml
    
    id.ml
    
    loc.ml
    
    maps.ml
    
    maps_string.ml
    
    misc.ml
    
    msg.ml
    
    name.ml
    
    namespace.ml
    
    normalize.ml
    
    path.ml
    
    pretty.ml
    
    statement.ml
    
    stats.ml
    
    tag.ml
    
    term.ml
    
    timer.ml
    
    tok.ml
    
    transformer.ml
    
    vec.ml
  - dolmen.tptp
    
    dolmen_tptp.ml
  - dolmen.zf
    
    ast.ml
    
    dolmen_zf.ml
    
    dolmen_zf__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_smtlib2_poly
    
    ast.ml
    
    dolmen_smtlib2_poly.ml
    
    dolmen_smtlib2_poly__.ml
    
    lexer.ml
    
    parser.ml
    
    print.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_smtlib2_v6
    
    dolmen_smtlib2_v6.ml
  - dolmen_smtlib2_v6_response
    
    ast.ml
    
    dolmen_smtlib2_v6_response.ml
    
    dolmen_smtlib2_v6_response__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_smtlib2_v6_script
    
    ast.ml
    
    dolmen_smtlib2_v6_script.ml
    
    dolmen_smtlib2_v6_script__.ml
    
    lexer.ml
    
    parser.ml
    
    print.ml
    
    syntax_messages.ml
    
    tokens.ml
  - dolmen_tptp_v6_3_0
    
    ast.ml
    
    dolmen_tptp_v6_3_0.ml
    
    dolmen_tptp_v6_3_0__.ml
    
    lexer.ml
    
    parser.ml
    
    syntax_messages.ml
    
    tokens.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dolmen_intf.Id`Source

Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.

Signature for Logic languages

Sourcemodule type Logic = sig ... end

Sourcemodule type Response = Logic

Sourcemodule type Escape = sig ... end

package dolmen

Module Dolmen_intf.IdSource

Signature for Logic languages

Module `Dolmen_intf.Id`Source