package acgtk

  1. Overview
  2. Docs

Module AbstractSyntax.RuleSource

Sourcetype rule = {
  1. id : int;
  2. lhs : Predicate.predicate;
  3. e_rhs : (Predicate.predicate * int) list;
    (*

    represents the extensionnal predicates of the rule. The int represents the position in the rule

    *)
  4. i_rhs : (Predicate.predicate * int) list;
    (*

    represents the intensionnal predicates of the rule. The int represents the position in the rule

    *)
  5. i_rhs_num : int;
}
Sourceval 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