#include <atom_classifier.h>
Property class associating an unordered name to a pair of atom types, each identified by an index (that of a property for example).