package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

Dune Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (2)

Authors

S

Sylvain Pogodalla

Maintainers

S

sylvain.pogodalla@inria.fr

Sources

acgtk-1.5.3.tar.gz

sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41

md5=04c1e14f98e2c8fd966ef7ef30b38323

doc/acgtkLib.utilsLib/UtilsLib/DependencyManager/Make/index.html

Module `DependencyManager.Make`Source

Parameters

module O : Map.OrderedType

Signature

Sourcetype t

The type of the dependency manager

Sourcetype elt = O.t

The type of the elements which the manager stores the dependencies between

Sourceval empty : t

The empty manager

Sourceval add_dependency : elt -> elt -> t -> t

add elt1 elt2 m returns a manager similar to m except that the dependency of elt1 on elt2 (elt1 depends on elt2) has been added

Sourceval dependencies : elt -> t -> elt list

dependencies elt m returns an ordered list of the elements that are dependant from elt according to the manager m. This list is such that if i_k and i_j belong to the list and k<j then there is no dependency on i_j for i_k.

Sourceval merge : t -> t -> t

merge m1 m2 returns a new dependency manager that take into accounts all the dependencies in m1 and in m2. If some element has dependencies in m1 and in m2 then all the dependencies remain

Sourceval roots : t -> elt list

roots m returns the list of elements that depend on no other element

On This Page

Parameters
Signature