package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41

md5=04c1e14f98e2c8fd966ef7ef30b38323

Sourcetype rule = {

id : int;
lhs : Predicate.predicate;
e_rhs : (Predicate.predicate * int) list;
(*
represents the extensionnal predicates of the rule. The int represents the position in the rule
*)
i_rhs : (Predicate.predicate * int) list;
(*
represents the intensionnal predicates of the rule. The int represents the position in the rule
*)
i_rhs_num : int;

}

val to_string : 
  rule ->
  ?with_position:bool ->
  Predicate.PredIdTable.table ->
  ConstGen.Table.table ->
  string

Sourceval proto_rule_to_rule : Proto_Rule.t -> Predicate.PredIds.t -> rule

Sourcemodule Rules : Set.S with type elt = rule

Sourcemodule RuleMap : Map.S with type key = rule