PolyBoRi
Classes | Namespaces | Typedefs | Enumerations

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  PBORINAME::groebner::PolyEntry
class  PBORINAME::groebner::PairData
class  PBORINAME::groebner::IJPairData
class  PBORINAME::groebner::PolyPairData
class  PBORINAME::groebner::VariablePairData
class  PBORINAME::groebner::PairLS
class  PBORINAME::groebner::PairE
class  PBORINAME::groebner::PairLSCompare
class  PBORINAME::groebner::PairECompare

Namespaces

namespace  PBORINAME
namespace  PBORINAME::groebner

Typedefs

typedef std::vector< PolyEntry > PBORINAME::groebner::PolyEntryVector
typedef boost::shared_ptr
< PairData > 
PBORINAME::groebner::pair_data_ptr
typedef PairE PBORINAME::groebner::Pair

Enumerations

enum  { PBORINAME::groebner::VARIABLE_PAIR, PBORINAME::groebner::IJ_PAIR, PBORINAME::groebner::DELAYED_PAIR }