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;
    (*

    stores the number of intensional predicates occurring in the rule

    *)
  6. rhs_num : int;
    (*

    stores the number of predicates occurring in the rule body

    *)
}
val pp : ?with_position:bool -> ?with_id:bool -> ?with_arity:bool -> Predicate.PredIdTable.table -> ConstGen.Table.table -> Format.formatter -> rule -> unit
val proto_rule_to_rule : Proto_Rule.t -> Predicate.PredIds.t -> rule
module Rules : Set.S with type elt = rule
module RuleMap : Map.S with type key = rule
val set_new_id : int -> rule -> rule

set_new_id id rule returns a rule similar to rule except that its id is id

set_new_id_from_gen returns pair (rule',from_gen') wherer rule' is a rule similar to rule excepts that it has a new id generated from from_gen generator, and the latter has been updated to from_gen'.

val get_variables_in_rule : rule -> Predicate.TermSet.t

get_variables_in_rule rule returns the set of variables in the rule rule

val get_subgoal : rule -> int -> Predicate.predicate * int

get_subgoal rule i returns the predicate at the position i in the body of the rule rule

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct