package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type term =
  1. | Var of VarGen.id
  2. | Const of ConstGen.id
module TermSet : Stdlib.Set.S with type elt = term
val pp_terms : ConstGen.Table.table -> Stdlib.Format.formatter -> TermSet.t -> unit
type pred_id
val pp_pred_id : Stdlib.Format.formatter -> pred_id -> unit
module PredIdMap : Stdlib.Map.S with type key = pred_id
module PredIds : Stdlib.Set.S with type elt = pred_id
type predicate = {
  1. p_id : pred_id;
  2. arity : int;
  3. arguments : term list;
    (*

    It is assumed that the size of the list is the arity

    *)
}
val pp : ?position:int -> ?with_id:bool -> ?with_arity:bool -> PredIdTable.table -> ConstGen.Table.table -> Stdlib.Format.formatter -> predicate -> unit
val compare : ?with_arguments:bool -> predicate -> predicate -> int

compare p1 p2 returns a positive integer if p1 is greater than p2. If with_arguments is set to true (default), then the comparison relies on the actual value of the arguments as well. Otherwise, it does not take then into account.

val fake_pred_id : pred_id
val get_variables : predicate -> TermSet.t

get_variables pred returns the set of all terms that are variables in the argument list of the predicate pred

val get_variables_of_preds : predicate list -> TermSet.t

get_variables_of_preds preds returns the set of all terms that are variables in the argument list of all the predicates in preds

string_of_predicate_name pred pred_id_table Returns the name of the predicate.

val copy_predicate : new_id:pred_id -> predicate -> predicate

copy_predicate ~new_id:id pred copies the predicate pred (arity and content) to a new predicate with id id

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