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< PolyEntryPolyEntryVector
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 
Generated on Thu Aug 5 12:57:27 2010 for PolyBoRi by  doxygen 1.6.3