API to the proof rules for the Search Engines. More...
#include <search_rules.h>
List of all members.
.
API to the proof rules for the Search Engines.