kitty_constructors.hpp File Reference

#include <cctype>
#include <chrono>
#include <istream>
#include <random>
#include <stack>
#include "kitty_constants.hpp"
#include "kitty_dynamic_tt.hpp"
#include "kitty_static_tt.hpp"

Include dependency graph for kitty_constructors.hpp:

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

Go to the source code of this file.

Namespaces
namespace	kitty

Functions
template<typename TT>
TT	kitty::create (unsigned num_vars)
	Creates truth table with number of variables.
template<typename TT>
void	kitty::create_nth_var (TT &tt, uint8_t var_index, bool complement=false)
	Constructs projections (single-variable functions)