package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package inferno

Inferno
- CHANGES
- README
- Library inferno
  - Inferno
    
    Decoder
    
    Make
    
    Generalization
    
    Make
    
    Data
    
    U
    
    InfiniteArray
    
    OccursCheck
    
    Make
    
    Signatures
    
    SSTRUCTURE
    
    USTRUCTURE
    
    OCSTRUCTURE
    
    OSTRUCTURE
    
    GSTRUCTURE
    
    STRUCTURE_LEAF
    
    HSTRUCTURE
    
    MUNIFIER
    
    GUNIFIER
    
    UNIFIER
    
    OCCURS_CHECK
    
    OUTPUT
    
    DECODER
    
    TEVAR
    
    Solver
    
    Make
    
    Structure
    
    Option
    
    Tarjan
    
    Run
    
    Unifier
    
    Make
    
    Utils
- Sources
  - inferno
    
    Decoder.ml
    
    Generalization.ml
    
    InfiniteArray.ml
    
    OccursCheck.ml
    
    Signatures.ml
    
    Solver.ml
    
    Structure.ml
    
    Unifier.ml
    
    Utils.ml
    
    inferno.ml
    
    tarjan.ml

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

Module `Tarjan.Run`Source

Parameters

module G : sig ... end

Signature

Sourceval representative : G.node -> G.node

Sourceval scc : G.node -> G.node list

Sourceval iter : (G.node -> G.node list -> unit) -> unit

Sourceval rev_topological_iter : (G.node -> G.node list -> unit) -> unit

Sourceval map : (G.node -> G.node list -> 'a) -> 'a list

Sourceval rev_map : (G.node -> G.node list -> 'a) -> 'a list

Sourceval isolated : G.node -> bool

isolated x determines whether the vertex x is the sole element of its strongly connected component.