eigen_helpers.h File Reference

#include <smtrat-common/smtrat-common.h>
#include <eigen3/Eigen/Core>
#include <eigen3/Eigen/Dense>
#include <eigen3/Eigen/StdVector>

Include dependency graph for eigen_helpers.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::qe
	smtrat::qe::fm

Typedefs
using	smtrat::qe::fm::vector_t = Eigen::Matrix< Rational, Eigen::Dynamic, 1 >
using	smtrat::qe::fm::matrix_t = Eigen::Matrix< Rational, Eigen::Dynamic, Eigen::Dynamic >

Functions
matrix_t	smtrat::qe::fm::selectRows (const matrix_t &original, const std::vector< std::size_t > &rowIndices)
matrix_t	smtrat::qe::fm::removeRows (const matrix_t &original, const std::vector< std::size_t > &rowIndices)
matrix_t &	smtrat::qe::fm::appendRow (matrix_t &original, const vector_t &row)
matrix_t &	smtrat::qe::fm::concatenateVertically (matrix_t &original, const matrix_t &other)
vector_t &	smtrat::qe::fm::concatenateVertically (vector_t &original, const vector_t &other)
vector_t &	smtrat::qe::fm::appendRow (vector_t &original, Rational entry)
vector_t	smtrat::qe::fm::appendZeroes (vector_t &original, std::size_t numberZeroes)
	Append a specified number of zeroes at the end of a vector_t. More...
vector_t	smtrat::qe::fm::selectRows (const vector_t &original, const std::vector< std::size_t > &rowIndices)
vector_t	smtrat::qe::fm::removeRows (const vector_t &original, const std::vector< std::size_t > &rowIndices)
matrix_t	smtrat::qe::fm::removeCol (const matrix_t &original, std::size_t colIndex)
matrix_t	smtrat::qe::fm::selectCols (const matrix_t &original, const std::vector< std::size_t > &colIndices)