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/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/acgtkLib.datalogLib/DatalogLib/Datalog_AbstractSyntax/AbstractSyntax/Proto_Program/index.html

Module AbstractSyntax.Proto_ProgramSource

Module `AbstractSyntax.Proto_Program`Source