package forester

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Relation symbols
Query modifiers
Query type

package forester

forester
- README
- Library forester.core
  - Forester_core
    
    Base
    
    Addr
    
    Addr_map
    
    Addr_set
    
    String_map
    
    Addr
    
    Addr_map
    
    Addr_set
    
    String_map
    
    Syn
    
    Sem
    
    MethodTable
    
    Text_modifier
    
    Util
    
    Query
    
    Code
    
    Resolver
    
    P
    
    Scope
    
    Perform
    
    Perform
    
    Silence
    
    Lang
    
    Expand
    
    UnitMap
    
    Builtins
    
    Transclude
    
    Eval
    
    Make
    
    Query
    
    Rel
    
    BaseN
    
    I
    
    S
    
    Make
    
    Base36
    
    Reporter
    
    Message
    
    Range
    
    Prim
    
    TeX_cs
    
    Symbol
    
    Xml_tree
- Library forester.frontend
  - Forester_frontend
    
    Config
    
    Forest_config
    
    Forest
    
    Grammar
    
    MenhirInterpreter
    
    Incremental
    
    Import_graph
    
    Gph
    
    Topo
    
    Lexer
    
    Parse
- Library forester.prelude
  - Forester_prelude
    
    Compare
    
    Date
    
    Eio_util
    
    NullSink
    
    Printer_kit
    
    S0
    
    S
    
    Kit
    
    String_util
- Library forester.render
  - Forester_render
    
    Build_latex
    
    Compile
    
    I
    
    Make
    
    LaTeX_queue
    
    S
    
    Make
    
    LaTeX_template
    
    Render_TeX_like
    
    Printer
    
    Render_json
    
    Render_text
    
    Printer
    
    Render_util
    
    Serialise_xml_tree
    
    I
    
    Make
    
    Xml_forester
- Sources
  - forester.core
    
    Base.ml
    
    BaseN.ml
    
    Code.ml
    
    Env.ml
    
    Eval.ml
    
    Expand.ml
    
    Forester_core.ml
    
    Prim.ml
    
    Query.ml
    
    Range.ml
    
    Reporter.ml
    
    Resolver.ml
    
    Sem.ml
    
    Symbol.ml
    
    Syn.ml
    
    TeX_cs.ml
    
    Trie.ml
    
    Xml_tree.ml
    
    forester_core__.ml
  - forester.frontend
    
    Config.ml
    
    Forest.ml
    
    Grammar.ml
    
    Import_graph.ml
    
    Lexer.ml
    
    Parse.ml
    
    forester_frontend.ml
  - forester.prelude
    
    Compare.ml
    
    Date.ml
    
    Eio_util.ml
    
    Printer_kit.ml
    
    String_util.ml
    
    forester_prelude.ml
  - forester.render
    
    Build_latex.ml
    
    Compile.ml
    
    LaTeX_queue.ml
    
    LaTeX_template.ml
    
    Render_TeX_like.ml
    
    Render_json.ml
    
    Render_text.ml
    
    Render_util.ml
    
    Serialise_xml_tree.ml
    
    Xml_forester.ml
    
    forester_render.ml

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

Module `Forester_core.Query`Source

Relation symbols

Sourcemodule Rel : sig ... end

Sourcetype rel = Rel.t

Query modifiers

Sourcetype polarity =

| Incoming
| Outgoing

Determines whether we are searching for edges into or out of the supplied vertex.

Source

val pp_polarity : 
  Ppx_deriving_runtime.Format.formatter ->
  polarity ->
  Ppx_deriving_runtime.unit

Sourceval show_polarity : polarity -> Ppx_deriving_runtime.string

Sourcetype mode =

| Edges
| Paths

Determines whether we are querying a relation or its reflexive-transitive closure.

Source

val pp_mode : 
  Ppx_deriving_runtime.Format.formatter ->
  mode ->
  Ppx_deriving_runtime.unit

Sourceval show_mode : mode -> Ppx_deriving_runtime.string

Query type

Sourcetype rel_query = mode * polarity * Rel.t

The parameters of a relational query.

Source

val pp_rel_query : 
  Ppx_deriving_runtime.Format.formatter ->
  rel_query ->
  Ppx_deriving_runtime.unit

Sourceval show_rel_query : rel_query -> Ppx_deriving_runtime.string

package forester

Module Forester_core.QuerySource

Relation symbols

Query modifiers

Query type

Module `Forester_core.Query`Source