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.
Definition at line 35 of file search_rules.h.