package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
module C : CLAUSE
val name : string
val empty : unit -> t

Empty index

val add : t -> C.t -> t

LogtkIndex the clause

val add_seq : t -> C.t Sequence.t -> t
val remove : t -> C.t -> t

Un-index the clause

val remove_seq : t -> C.t Sequence.t -> t
val retrieve_subsuming : t -> lits -> 'a -> ('a -> C.t -> 'a) -> 'a

Fold on a set of indexed candidate clauses, that may subsume the given clause.

val retrieve_subsuming_c : t -> C.t -> 'a -> ('a -> C.t -> 'a) -> 'a
val retrieve_subsumed : t -> lits -> 'a -> ('a -> C.t -> 'a) -> 'a

Fold on a set of indexed candidate clauses, that may be subsumed by the given clause

val retrieve_subsumed_c : t -> C.t -> 'a -> ('a -> C.t -> 'a) -> 'a
val iter : t -> (C.t -> unit) -> unit
val fold : ('a -> C.t -> 'a) -> 'a -> t -> 'a
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