Variables.h File Reference

#include "Visit.h"
#include <carl-arith/core/Variables.h>

Include dependency graph for Variables.h:

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

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Pol >
void	carl::variables (const Formula< Pol > &f, carlVariables &vars)
template<typename Pol >
void	carl::uninterpreted_functions (const Formula< Pol > &f, std::set< UninterpretedFunction > &ufs)
template<typename Pol >
void	carl::uninterpreted_variables (const Formula< Pol > &f, std::set< UVariable > &uvs)
template<typename Pol >
void	carl::bitvector_variables (const Formula< Pol > &f, std::set< BVVariable > &bvvs)
template<typename Pol >
void	carl::arithmetic_constraints (const Formula< Pol > &f, std::vector< Constraint< Pol >> &constraints)
	Collects all constraint occurring in this formula. More...
template<typename Pol >
void	carl::arithmetic_constraints (const Formula< Pol > &f, std::vector< Formula< Pol >> &constraints)
	Collects all constraint occurring in this formula. More...