package forester

  1. Overview
  2. Docs
package forester
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sem.QuerySource

Sourceval query_cost : query -> int

A heuristic for computing an intersection of queries.

Sourceval sort_by_ascending_cost : query list -> query list
Sourceval sort_by_descending_cost : query list -> query list
Sourceval isect : query list -> query
Sourceval union : query list -> query
Sourceval complement : query -> query
Sourceval tree_under : Base.addr -> query
Sourceval isect_fam_rel : query -> Query.mode -> Query.polarity -> Query.Rel.t -> query
Sourceval union_fam_rel : query -> Query.mode -> Query.polarity -> Query.Rel.t -> query
Sourceval has_taxon : string -> query
Sourceval hereditary_contributors : Base.addr -> query
Sourceval references : Base.addr -> query
Sourceval context : Base.addr -> query
Sourceval contributions : Base.addr -> query