pairs.h File Reference

#include <functional>
#include "groebner_defs.h"
#include "literal_factorization.h"
#include <boost/shared_ptr.hpp>
#include <queue>
#include <algorithm>
#include <utility>
#include <set>

Go to the source code of this file.

Classes
class	polybori::groebner::PolyEntry
class	polybori::groebner::PairData
class	polybori::groebner::IJPairData
class	polybori::groebner::PolyPairData
class	polybori::groebner::VariablePairData
class	polybori::groebner::PairLS
class	polybori::groebner::PairE
class	polybori::groebner::PairLSCompare
class	polybori::groebner::PairECompare
Namespaces
namespace	polybori
namespace	polybori::groebner
Typedefs
typedef std::vector< PolyEntry >	polybori::groebner::PolyEntryVector
typedef boost::shared_ptr < PairData >	polybori::groebner::pair_data_ptr
typedef PairE	polybori::groebner::Pair
Enumerations
enum	{ polybori::groebner::VARIABLE_PAIR, polybori::groebner::IJ_PAIR, polybori::groebner::DELAYED_PAIR }