package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Generic term indexing
type scope = LogtkSubsts.scopetype term = LogtkFOTerm.ttype subst = LogtkSubsts.tLeaf
A leaf maps terms to a set of elements
module type LEAF = sig ... endLogtkFOTerm index
module type TERM_IDX = sig ... endSubsumption LogtkIndex
type lits = (bool * term Sequence.t) Sequence.tSequence of literals, as a cheap abstraction on query clauses
module type CLAUSE = sig ... endA subsumption index (non perfect!)
module type SUBSUMPTION_IDX = sig ... endSpecialized rewriting index
module type EQUATION = sig ... endmodule BasicEquation :
EQUATION
with type t = LogtkFOTerm.t * LogtkFOTerm.t
and type rhs = LogtkFOTerm.tmodule type UNIT_IDX = sig ... end