#include <polybori/groebner/PairManager.h>
This file includes the definition of the class PairManager.
PairManager