smtrat::qe::fm Namespace Reference

Data Structures
class	FourierMotzkinQE

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

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

Typedef Documentation

matrix_t

typedef Eigen::Matrix< Rational, Eigen::Dynamic, Eigen::Dynamic > smtrat::qe::fm::matrix_t

Definition at line 10 of file eigen_helpers.h.

vector_t

typedef Eigen::Matrix< Rational, Eigen::Dynamic, 1 > smtrat::qe::fm::vector_t

Definition at line 9 of file eigen_helpers.h.

Function Documentation

appendRow() [1/2]

matrix_t& smtrat::qe::fm::appendRow	(	matrix_t &	original,
		const vector_t &	row
	)

Definition at line 33 of file eigen_helpers.h.

appendRow() [2/2]

vector_t& smtrat::qe::fm::appendRow	(	vector_t &	original,
		Rational	entry
	)

Definition at line 55 of file eigen_helpers.h.

appendZeroes()

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.

Template Parameters

Number

The used number type

Parameters

original	The original vector
numberZeroes	The number of zeroes that should be appended to original

Returns

A reference to the updated vector_t

Definition at line 68 of file eigen_helpers.h.

concatenateVertically() [1/2]

matrix_t& smtrat::qe::fm::concatenateVertically	(	matrix_t &	original,
		const matrix_t &	other
	)

Definition at line 40 of file eigen_helpers.h.

concatenateVertically() [2/2]

vector_t& smtrat::qe::fm::concatenateVertically	(	vector_t &	original,
		const vector_t &	other
	)

Definition at line 48 of file eigen_helpers.h.

qe()

std::optional< FormulaT > smtrat::qe::fm::qe

(

const FormulaT &

f

)

Definition at line 8 of file qe.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

removeCol()

matrix_t smtrat::qe::fm::removeCol	(	const matrix_t &	original,
		std::size_t	colIndex
	)

Definition at line 90 of file eigen_helpers.h.

Here is the caller graph for this function:

removeRows() [1/2]

matrix_t smtrat::qe::fm::removeRows	(	const matrix_t &	original,
		const std::vector< std::size_t > &	rowIndices
	)

Definition at line 22 of file eigen_helpers.h.

Here is the call graph for this function:

Here is the caller graph for this function:

removeRows() [2/2]

vector_t smtrat::qe::fm::removeRows	(	const vector_t &	original,
		const std::vector< std::size_t > &	rowIndices
	)

Definition at line 85 of file eigen_helpers.h.

Here is the call graph for this function:

selectCols()

matrix_t smtrat::qe::fm::selectCols	(	const matrix_t &	original,
		const std::vector< std::size_t > &	colIndices
	)

Definition at line 105 of file eigen_helpers.h.

selectRows() [1/2]

matrix_t smtrat::qe::fm::selectRows	(	const matrix_t &	original,
		const std::vector< std::size_t > &	rowIndices
	)

Definition at line 13 of file eigen_helpers.h.

Here is the caller graph for this function:

selectRows() [2/2]

vector_t smtrat::qe::fm::selectRows	(	const vector_t &	original,
		const std::vector< std::size_t > &	rowIndices
	)

Definition at line 76 of file eigen_helpers.h.