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	PolyEntry
class	PairData
class	IJPairData
class	PolyPairData
class	VariablePairData
class	PairLS
class	PairE
class	PairLSCompare
class	PairECompare
Typedefs
typedef std::vector< PolyEntry >	PolyEntryVector
typedef boost::shared_ptr < PairData >	pair_data_ptr
typedef PairE	Pair
Enumerations
enum	{ VARIABLE_PAIR, IJ_PAIR, DELAYED_PAIR }

---

Typedef Documentation

typedef PairE Pair

typedef boost::shared_ptr<PairData> pair_data_ptr

typedef std::vector<PolyEntry> PolyEntryVector

---

Enumeration Type Documentation

anonymous enum

Enumerator:

VARIABLE_PAIR
IJ_PAIR
DELAYED_PAIR