Encoding.h File Reference

#include "VariableComparison.h"
#include <carl-arith/poly/umvpoly/functions/Substitution.h>

Include dependency graph for Encoding.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Typedefs
template<typename Poly >
using	carl::EncodingCache = std::map< MultivariateRoot< Poly >, std::pair< std::vector< BasicConstraint< Poly > >, Variable > >

Functions
template<typename Poly >
void	carl::encode_as_constraints_simple (const MultivariateRoot< Poly > &f, Assignment< typename VariableComparison< Poly >::RAN > ass, Variable var, std::vector< BasicConstraint< Poly >> &out)
template<typename Poly >
void	carl::encode_as_constraints_thom (const MultivariateRoot< Poly > &f, Assignment< typename VariableComparison< Poly >::RAN > ass, Variable var, std::vector< BasicConstraint< Poly >> &out)
template<typename Poly >
std::pair< std::vector< BasicConstraint< Poly > >, Variable >	carl::encode_as_constraints (const MultivariateRoot< Poly > &f, Assignment< typename VariableComparison< Poly >::RAN > ass, EncodingCache< Poly > cache)
template<typename Poly >
std::pair< std::vector< BasicConstraint< Poly > >, BasicConstraint< Poly > >	carl::encode_as_constraints (const VariableComparison< Poly > &f, const Assignment< typename VariableComparison< Poly >::RAN > &ass, EncodingCache< Poly > cache)