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 }