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 }

Generated on 23 Dec 2009 for PolyBoRi by  doxygen 1.6.1