eliminate.h File Reference

#include <vector>
#include <carl-formula/formula/Formula.h>
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <eigen3/Eigen/Core>
#include <eigen3/Eigen/Dense>
#include <eigen3/Eigen/StdVector>
#include "fmplex.h"

Include dependency graph for eliminate.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::fmplex

Typedefs
using	smtrat::fmplex::Formula = carl::Formula< carl::MultivariatePolynomial< Rational > >
using	smtrat::fmplex::EigenMat = Eigen::Matrix< Rational, Eigen::Dynamic, Eigen::Dynamic >
using	smtrat::fmplex::EigenVec = Eigen::Matrix< Rational, Eigen::Dynamic, 1 >

Functions
Formula	smtrat::fmplex::eliminate_variables (const Formula &f, const std::vector< carl::Variable > &vars)
std::pair< EigenMat, EigenVec >	smtrat::fmplex::eliminate_cols (const EigenMat &constraints, const EigenVec &constants, const std::vector< std::size_t > &cols)
void	smtrat::fmplex::write_matrix_to_ine (const EigenMat &constraints, const EigenVec &constants, const std::vector< std::size_t > &cols, const std::string &filename)