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

acg-2.1.0-20240219.tar.gz

sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

doc/acgtk.datalogLib/DatalogLib/Datalog_AbstractSyntax/AbstractSyntax/Proto_Program/index.html

Module `AbstractSyntax.Proto_Program`Source

Sourcetype t = {

rules : Proto_Rule.t list;
pred_table : Predicate.PredIdTable.table;
const_table : ConstGen.Table.table;
i_preds : Predicate.PredIds.t;
rule_id_gen : UtilsLib.IdGenerator.IntIdGen.t;
pred_to_rules : UtilsLib.Utils.IntSet.t Predicate.PredIdMap.t;

}

Source

type tables =
  Predicate.PredIdTable.table * (VarGen.Table.table * ConstGen.Table.table)

Sourceval empty : t

Source

val extension : 
  Predicate.PredIdTable.table ->
  ConstGen.Table.table ->
  UtilsLib.IdGenerator.IntIdGen.t ->
  t

extension pred_table const_table id_gen returns an almost empty proto program. This almost empty proto program is meant to serve as extension of an actual program

Source

val add_proto_rule : 
  ((tables ->
   Predicate.predicate * tables)
   * (tables ->
   Predicate.predicate list * tables)) ->
  t ->
  t

package acgtk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.datalogLib/DatalogLib/Datalog_AbstractSyntax/AbstractSyntax/Proto_Program/index.html

Module AbstractSyntax.Proto_ProgramSource

Module `AbstractSyntax.Proto_Program`Source