package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

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

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.1.0-20240219.tar.gz
sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

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

Module DependencyManager.MakeSource

Parameters

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