fglm.cc File Reference

#include <exception>
#include "fglm.h"
#include <BooleEnv.h>
#include <polybori.h>
#include "groebner_defs.h"
#include <functional>
#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <utility>
#include <boost/shared_ptr.hpp>
#include <queue>
#include <boost/dynamic_bitset.hpp>
#include <string>
#include <iostream>
#include <m4ri/m4ri.h>
#include "groebner_alg.h"
#include <m4ri/packedmatrix.h>

Classes

class  FGLMNoLinearCombinationException

Functions

void transpose_window_to_row (mzd_t *transposed_vec, mzd_t *window)
void clear_mat (mzd_t *mat)

Function Documentation

void clear_mat ( mzd_t *  mat  ) 
void transpose_window_to_row ( mzd_t *  transposed_vec,
mzd_t *  window 
)
Generated on Thu Aug 5 12:57:27 2010 for PolyBoRi by  doxygen 1.6.3