eliminate.cpp File Reference

#include "eliminate.h"
#include <iostream>
#include <fstream>

Include dependency graph for eliminate.cpp:

Go to the source code of this file.

Data Structures
struct	smtrat::fmplex::VariableIndex< Var >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::fmplex

Typedefs
using	smtrat::fmplex::Poly = carl::MultivariatePolynomial< Rational >

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)