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.datalogLib/DatalogLib/index.html

Module `DatalogLib`Source

Sourcemodule ArrayTraversal : sig ... end

This module implements a depth-first array traversal. It is depth-first in order to fit with backtracking when cells contain persistent array.

Sourcemodule Datalog : sig ... end

Sourcemodule Datalog_AbstractSyntax : sig ... end

Sourcemodule Db_lexer : sig ... end

Sourcemodule Db_parser : sig ... end

Sourcemodule DlError : sig ... end

Sourcemodule Dl_lexer : sig ... end

Sourcemodule Dl_parse_functions : sig ... end

Sourcemodule Dl_parser : sig ... end

Sourcemodule Messages : sig ... end

Sourcemodule PersistentArray : sig ... end

This module implements a persistent array data structure as described in "A Persistent Union-Find Data Structure" (Sylvain Concohn and Jean-Chrisophe Filliâtre.

Sourcemodule UnionFind : sig ... end

Modules with this module type should provide Union-Find algorithms and the indexed storage data structure. Note that we take the opportunity of implementing from scratch such algorithms to allow the find function returns not only the index of the representative and the values it indexes, but also the storage data structure, so that the find algorithm can modify it, in particular with path compression.