package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 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;
}
val to_string : rule -> ?with_position:bool -> Predicate.PredIdTable.table -> ConstGen.Table.table -> string
val proto_rule_to_rule : Proto_Rule.t -> Predicate.PredIds.t -> rule
module Rules : Stdlib.Set.S with type elt = rule
module RuleMap : Stdlib.Map.S with type key = rule