ternarize.hpp File Reference

#include "ast.hpp"
#include "env.hpp"

Go to the source code of this file.

Namespaces
namespace	lala

Functions
template<class F >
bool	lala::is_constant_var (const F &x)
template<class F >
int	lala::value_of_constant (const F &x)
template<class F >
CUDA bool	lala::is_tnf (const F &f)
template<class F , class Env = VarEnv<battery::standard_allocator>>
F	lala::ternarize (const F &f, const Env &env=Env(), const std::vector< int > &constants={})