package ocamlgraph

You can search for identifiers within the package.

in-package search v0.2.0

package ocamlgraph

ocamlgraph
- Library ocamlgraph
  - Graph
    
    Sig
    
    ANY_TYPE
    
    ORDERED_TYPE
    
    ORDERED_TYPE_DFT
    
    HASHABLE
    
    COMPARABLE
    
    VERTEX
    
    EDGE
    
    G
    
    V
    
    E
    
    P
    
    V
    
    E
    
    I
    
    V
    
    E
    
    WEIGHT
    
    MARK
    
    IM
    
    V
    
    E
    
    Mark
    
    Sig_pack
    
    S
    
    V
    
    E
    
    Mark
    
    Dfs
    
    Bfs
    
    Marking
    
    Coloring
    
    Classic
    
    Rand
    
    Components
    
    PathCheck
    
    Topological
    
    Eulerian
    
    Dot_ast
    
    Util
    
    OTProduct
    
    HTProduct
    
    CMPProduct
    
    DataV
    
    Memo
    
    Blocks
    
    HM
    
    TBL_BUILDER
    
    Make_Hashtbl
    
    Make_Map
    
    Minimal
    
    Pred
    
    Unlabeled
    
    S
    
    E
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    Labeled
    
    VE
    
    S
    
    E
    
    C
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    ConcreteVertex
    
    V
    
    HM
    
    Make_Abstract
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    V
    
    E
    
    HM
    
    S
    
    BidirectionalMinimal
    
    BidirectionalUnlabeled
    
    S
    
    E
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    BidirectionalLabeled
    
    VE
    
    S
    
    E
    
    C
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    Make
    
    Digraph
    
    Concrete
    
    V
    
    HM
    
    S
    
    E
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    ConcreteBidirectional
    
    V
    
    HM
    
    S
    
    E
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    ConcreteLabeled
    
    V
    
    HM
    
    VE
    
    S
    
    E
    
    C
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    ConcreteBidirectionalLabeled
    
    V
    
    HM
    
    VE
    
    S
    
    E
    
    C
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    Abstract
    
    G
    
    V
    
    HM
    
    S
    
    E
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    V
    
    E
    
    HM
    
    S
    
    AbstractLabeled
    
    G
    
    V
    
    HM
    
    VE
    
    S
    
    E
    
    C
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    I
    
    PV
    
    PE
    
    PV
    
    PE
    
    V
    
    E
    
    HM
    
    S
    
    Graph
    
    V
    
    E
    
    Persistent
    
    S
    
    Concrete
    
    V
    
    E
    
    Abstract
    
    V
    
    E
    
    ConcreteLabeled
    
    V
    
    E
    
    AbstractLabeled
    
    V
    
    E
    
    Digraph
    
    Concrete
    
    V
    
    E
    
    Abstract
    
    V
    
    E
    
    ConcreteLabeled
    
    V
    
    E
    
    AbstractLabeled
    
    V
    
    E
    
    ConcreteBidirectional
    
    V
    
    E
    
    ConcreteBidirectionalLabeled
    
    V
    
    E
    
    Graph
    
    Concrete
    
    V
    
    E
    
    Abstract
    
    V
    
    E
    
    ConcreteLabeled
    
    V
    
    E
    
    AbstractLabeled
    
    V
    
    E
    
    Imperative
    
    S
    
    Concrete
    
    V
    
    E
    
    Abstract
    
    V
    
    E
    
    Mark
    
    ConcreteLabeled
    
    V
    
    E
    
    AbstractLabeled
    
    V
    
    E
    
    Mark
    
    Digraph
    
    Concrete
    
    V
    
    E
    
    Abstract
    
    V
    
    E
    
    Mark
    
    ConcreteLabeled
    
    V
    
    E
    
    AbstractLabeled
    
    V
    
    E
    
    Mark
    
    ConcreteBidirectional
    
    V
    
    E
    
    ConcreteBidirectionalLabeled
    
    V
    
    E
    
    Graph
    
    Concrete
    
    V
    
    E
    
    Abstract
    
    V
    
    E
    
    Mark
    
    ConcreteLabeled
    
    V
    
    E
    
    AbstractLabeled
    
    V
    
    E
    
    Mark
    
    Matrix
    
    S
    
    V
    
    E
    
    Digraph
    
    V
    
    E
    
    Graph
    
    V
    
    E
    
    Delaunay
    
    CCC
    
    Triangulation
    
    S
    
    Make
    
    S
    
    IntPoints
    
    Int
    
    S
    
    FloatPoints
    
    Float
    
    S
    
    Builder
    
    S
    
    G
    
    V
    
    E
    
    INT
    
    G
    
    V
    
    E
    
    P
    
    G
    
    I
    
    G
    
    Classic
    
    S
    
    P
    
    I
    
    Rand
    
    S
    
    Make
    
    P
    
    I
    
    Planar
    
    S
    
    Make
    
    P
    
    I
    
    Oper
    
    S
    
    Make
    
    P
    
    I
    
    Choose
    
    Neighbourhood
    
    Vertex_Set
    
    Components
    
    G
    
    V
    
    Make
    
    Connectivity
    
    S
    
    BiConnectivity
    
    S
    
    U
    
    V
    
    Undirected
    
    Path
    
    G
    
    V
    
    E
    
    Dijkstra
    
    BellmanFord
    
    H
    
    WJ
    
    Johnson
    
    HVV
    
    Check
    
    Bfs01
    
    Cycles
    
    Fashwo
    
    G
    
    V
    
    Johnson
    
    Nonnegative
    
    Imperative
    
    V
    
    E
    
    Mark
    
    Persistent
    
    V
    
    E
    
    Traverse
    
    G
    
    V
    
    Dfs
    
    Bfs
    
    GM
    
    V
    
    Mark
    
    Mark
    
    Coloring
    
    GM
    
    V
    
    Mark
    
    Mark
    
    G
    
    V
    
    Make
    
    H
    
    Topological
    
    G
    
    V
    
    Make
    
    Make_stable
    
    Kruskal
    
    G
    
    V
    
    E
    
    Make
    
    UNIONFIND
    
    Generic
    
    Flow
    
    FLOW
    
    G_GOLDBERG_TARJAN
    
    V
    
    E
    
    Goldberg_Tarjan
    
    G_FORD_FULKERSON
    
    V
    
    E
    
    FLOWMIN
    
    Ford_Fulkerson
    
    Prim
    
    G
    
    V
    
    E
    
    Make
    
    Dominator
    
    G
    
    V
    
    S
    
    S
    
    Make
    
    S
    
    I
    
    V
    
    Make_graph
    
    S
    
    Graphviz
    
    ATTRIBUTES
    
    CommonAttributes
    
    DotAttributes
    
    GraphWithDotAttrs
    
    V
    
    E
    
    Dot
    
    NeatoAttributes
    
    Neato
    
    Gml
    
    Parse
    
    G
    
    V
    
    E
    
    Print
    
    Dot
    
    Parse
    
    Pack
    
    Digraph
    
    V
    
    E
    
    Mark
    
    Dfs
    
    Bfs
    
    Marking
    
    Coloring
    
    Classic
    
    Rand
    
    Components
    
    PathCheck
    
    Topological
    
    Eulerian
    
    Graph
    
    V
    
    E
    
    Mark
    
    Dfs
    
    Bfs
    
    Marking
    
    Coloring
    
    Classic
    
    Rand
    
    Components
    
    PathCheck
    
    Topological
    
    Eulerian
    
    Gmap
    
    V_SRC
    
    V
    
    V_DST
    
    Vertex
    
    E_SRC
    
    E
    
    E_DST
    
    Edge
    
    Minsep
    
    G
    
    V
    
    MINSEP
    
    G
    
    V
    
    Vertex_Set
    
    VSetset
    
    P
    
    G
    
    Vertex_Set
    
    VSetset
    
    I
    
    G
    
    Vertex_Set
    
    VSetset
    
    Cliquetree
    
    CliqueTree
    
    CliqueV
    
    CVS
    
    CliqueTreeV
    
    CliqueTreeE
    
    CliqueTree
    
    V
    
    E
    
    Mcs_m
    
    MaximalCardinalitySearch
    
    P
    
    I
    
    Md
    
    P
    
    I
    
    Strat
    
    G
    
    V
    
    PLAYER
    
    STRAT
    
    Algo
    
    Fixpoint
    
    G
    
    V
    
    E
    
    Analysis
    
    Make
    
    Leaderlist
    
    G
    
    V
    
    Make
    
    Contraction
    
    G
    
    V
    
    E
    
    Make
    
    S
    
    M
    
    Graphml
    
    G
    
    E
    
    Print
    
    Merge
    
    S
    
    B
    
    P
    
    I
    
    Mincut
    
    G
    
    V
    
    Make
    
    Clique
    
    G
    
    V
    
    Bron_Kerbosch
    
    WeakTopological
    
    G
    
    V
    
    Make
    
    ChaoticIteration
    
    G
    
    V
    
    E
    
    Data
    
    Make
    
    M
    
    XDotDraw
    
    XDot
    
    Make
    
    HV
    
    HE
    
    DGraphModel
    
    abstract_model
    
    Make
    
    model
    
    DotG
    
    V
    
    E
    
    DGraphTreeLayout
    
    Make
    
    MakeFromDotModel
    
    Tree
    
    V
    
    E
    
    DGraphSubTree
    
    G
    
    V
    
    E
    
    Tree
    
    V
    
    E
    
    S
    
    Tree
    
    V
    
    E
    
    Make
    
    Tree
    
    Make_from_dot_model
    
    Tree
    
    DGraphTreeModel
    
    S
    
    Tree
    
    V
    
    E
    
    TreeManipulation
    
    tree_model
    
    SubTreeMake
    
    Tree
    
    V
    
    E
    
    TreeManipulation
    
    tree_model
    
    SubTreeDotModelMake
    
    Tree
    
    V
    
    E
    
    TreeManipulation
    
    tree_model
    
    DGraphRandModel
    
    G
    
    V
    
    E
    
    GraphAttrs
    
    V
    
    E
- Sources
  - ocamlgraph
    
    blocks.ml
    
    builder.ml
    
    chaoticIteration.ml
    
    classic.ml
    
    clique.ml
    
    cliquetree.ml
    
    coloring.ml
    
    components.ml
    
    contraction.ml
    
    cycles.ml
    
    dGraphModel.ml
    
    dGraphRandModel.ml
    
    dGraphSubTree.ml
    
    dGraphTreeLayout.ml
    
    dGraphTreeModel.ml
    
    delaunay.ml
    
    dominator.ml
    
    dot.ml
    
    dot_lexer.ml
    
    dot_parser.ml
    
    eulerian.ml
    
    fixpoint.ml
    
    flow.ml
    
    gmap.ml
    
    gml.ml
    
    graph.ml
    
    graph__.ml
    
    graphml.ml
    
    graphviz.ml
    
    imperative.ml
    
    kruskal.ml
    
    leaderlist.ml
    
    mcs_m.ml
    
    md.ml
    
    merge.ml
    
    mincut.ml
    
    minsep.ml
    
    nonnegative.ml
    
    oper.ml
    
    pack.ml
    
    path.ml
    
    persistent.ml
    
    prim.ml
    
    rand.ml
    
    strat.ml
    
    topological.ml
    
    traverse.ml
    
    util.ml
    
    weakTopological.ml
    
    xDot.ml
    
    xDotDraw.ml

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

Module `Graph`Source

module Sig : sig ... end

Signatures for graph implementations.

module Sig_pack : sig ... end

Immediate access to the library: contain a signature gathering an imperative graph signature and all algorithms. Vertices and edges are labeled with integers.

module Dot_ast : sig ... end

AST for DOT file format.

Sourcemodule Util : sig ... end

Some useful operations.

Sourcemodule Blocks : sig ... end

Common implementation to persistent and imperative graphs.

Sourcemodule Persistent : sig ... end

Persistent Graph Implementations.

Sourcemodule Imperative : sig ... end

Imperative Graph Implementations.

Sourcemodule Delaunay : sig ... end

Delaunay triangulation.

Sourcemodule Builder : sig ... end

Graph builders in order to persistent/imperative graphs sharing a same signature.

Sourcemodule Classic : sig ... end

Some classic graphs

Sourcemodule Rand : sig ... end

Random graph generation.

Sourcemodule Oper : sig ... end

Basic operations over graphs

Sourcemodule Components : sig ... end

Strongly connected components.

Sourcemodule Path : sig ... end

Paths

Sourcemodule Cycles : sig ... end

Algorithms related to cycles in directed graphs.

Sourcemodule Nonnegative : sig ... end

Weighted graphs without negative-cycles.

Sourcemodule Traverse : sig ... end

Graph traversal.

Sourcemodule Coloring : sig ... end

k-coloring of undirected graphs.

Sourcemodule Topological : sig ... end

Topological order.

Sourcemodule Kruskal : sig ... end

Kruskal's minimum-spanning-tree algorithm.

Sourcemodule Flow : sig ... end

Algorithms on flows

Sourcemodule Prim : sig ... end

Sourcemodule Dominator : sig ... end

Dominators

Sourcemodule Graphviz : sig ... end

Interface with GraphViz

Sourcemodule Gml : sig ... end

Parser and pretty-printer for GML file format.

Sourcemodule Dot : sig ... end

Parser for DOT file format.

Sourcemodule Pack : sig ... end

Immediate access to the library: provides implementation of imperative graphs labeled with integer as well as algorithms on such graphs.

Sourcemodule Gmap : sig ... end

Graph mapping. Map a graph to another one.

Sourcemodule Minsep : sig ... end

Minimal separators of a graph

Sourcemodule Cliquetree : sig ... end

Construction of the clique tree of a graph and recognition of chordal graphs.

Sourcemodule Mcs_m : sig ... end

Maximal Cardinality Search (MCS-M) algorithm

Sourcemodule Md : sig ... end

Minimum Degree algorithm

Sourcemodule Strat : sig ... end

Strategies

Sourcemodule Fixpoint : sig ... end

Fixpoint computation implemented using the work list algorithm. This module makes writing data-flow analysis easy.

Sourcemodule Leaderlist : sig ... end

The leader list algorithm; it generates a list of basic blocks from a directed graph. A basic block is a forward path of nodes that requires neither branching from nor into.

Sourcemodule Contraction : sig ... end

Edge contraction for directed, edge-labeled graphs

Sourcemodule Graphml : sig ... end

Generic GraphMl Printer

Sourcemodule Merge : sig ... end

Provides functions to extend any module satisfying one of the signatures Sig.P, Sig.I and Builder.S .

Sourcemodule Mincut : sig ... end

Minimal cutset of a graph

Sourcemodule Clique : sig ... end

Graph cliques

Sourcemodule WeakTopological : sig ... end

Weak topological ordering of the vertices of a graph, as described by François Bourdoncle.

Sourcemodule ChaoticIteration : sig ... end

Fixpoint computation with widenings using weak topological orderings as defined by François Bourdoncle and implemented in WeakTopological.

Sourcemodule XDotDraw : sig ... end

Parses xdot drawing operations

Sourcemodule XDot : sig ... end

Reads layout information from xdot ASTs

Sourcemodule DGraphModel : sig ... end

Abstract graph model

Sourcemodule DGraphTreeLayout : sig ... end

Sourcemodule DGraphSubTree : sig ... end

Sourcemodule DGraphTreeModel : sig ... end

Sourcemodule DGraphRandModel : sig ... end

package ocamlgraph

Module GraphSource

Module `Graph`Source