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

acgtk-1.5.3.tar.gz
sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41
md5=04c1e14f98e2c8fd966ef7ef30b38323

doc/acgtkLib.datalogLib/DatalogLib/Datalog_AbstractSyntax/VarGen/Table/index.html

Module VarGen.TableSource

Table implements correspondance tables with the current identifiers

Sourcetype identifier = id

identifier is the type of the identifier stored in the table. It is meant to be associated with a string

Sourcetype table

The type of the table

Sourceexception Not_found

This exception can be raised when some identifier or some symbol is not found in a query

Sourceval empty : table

empty is an empty table

Sourceval find_id_of_sym : string -> table -> identifier

find_id_of_sym sym t returns the identifier of the string sym stored in t. Raises Not_found if no such identifier exists.

Sourceval find_sym_from_id : identifier -> table -> string

find_sym_from_id id t returns the string (i.e. the symbol) corresponding to the identifier id in table t

Sourceval add_sym : string -> table -> identifier * table

add_sym sym t returns a pair (id,t') where id is the identifier associated with sym in t'. If sym already was in t then t'=t and id is the identifier which it was associated with. Otherwise, a new identifier is generated and the new association is stored in t'.

Sourceval to_string : table -> string

to_string t outputs the table t in a string.

Sourceval log_content : Logs.level -> table -> unit

log_content level t logs the content of table t.

Sourceval fold : (identifier -> string -> 'a -> 'a) -> table -> 'a -> 'a

fold f table a returns f id1 sym1 (f id2 sym2 ( ... ( f idN symN a) ... )) where the (id,sym) pairs are the ones that are stored in the table table. The order of these key-value pairs in the table is unspecified.