Class Term_indexing.index

class ['a] index : 'a data -> ('a data -> 'a predicate_index) -> object .. end

supposed to be inherited by a specific term index (see e.g. Discrimination_tree). for propositional atoms a specialized index is used in any case.

expects the same arguments as predicate_index, plus the constructor of the actual predicate_index type to use.

method find : literal -> 'a predicate_index

method iter : (literal -> 'a predicate_index -> unit) -> unit

method fold : 'b.
         ('b -> literal -> 'a predicate_index -> 'b) ->
         'b -> 'b

method is_empty : bool