#include "lexbuckets.h"
#include <functional>
#include "groebner_defs.h"
#include "literal_factorization.h"
#include <boost/shared_ptr.hpp>
#include <queue>
#include <algorithm>
#include <utility>
#include <set>
#include <vector>
Functions | |
Polynomial | without_prior_part (Polynomial p, idx_type tail_start) |
Polynomial without_prior_part | ( | Polynomial | p, | |
idx_type | tail_start | |||
) |
Referenced by LexBucket::increaseTailStart(), LexBucket::LexBucket(), and LexBucket::operator+=().