// -*- c++ -*-
//*****************************************************************************
/** @file PairManager.cc 
 *
 * @author Michael Brickenstein 
 * @date 2011-06-30 
 *
 * This file includes the definition of the class @c PairManager.
 *
 * @par Copyright:
 *   (c) 2006-2010 by The PolyBoRi Team
 *
**/
//*****************************************************************************


// include basic definitions
#include <polybori/groebner/PairManager.h>

BEGIN_NAMESPACE_PBORIGB
// all inlined now
END_NAMESPACE_PBORIGB
