Here is a list of all functions with links to the files they belong to:

- t -

• text_comp_agg_token() : provsql.sql
• text_eq_agg_token() : provsql.sql
• text_ne_agg_token() : provsql.sql
• to_provxml() : provsql.sql
• token_conjunctive_leaves() : provsql.sql
• tool_available() : provsql.sql
• tool_overrides() : provsql.sql
• tool_registry_list() : provsql.sql
• tree_decomposition_dot() : provsql.sql
• tseytin_cnf() : provsql.sql
• tseytin_cnf_mapping() : provsql.sql
• tseytin_cnf_mapping_json() : provsql.sql