MobilityDB  1.0

◆ _op_names

const char* _op_names[]

Global array for caching the names of the operators used in MobilityDB to avoid (slow) lookups.

The array is initialized at the loading of the extension.