kitty_algorithm.hpp File Reference

#include <algorithm>
#include <cassert>
#include "kitty_constants.hpp"
#include "kitty_dynamic_tt.hpp"
#include "kitty_static_tt.hpp"

Include dependency graph for kitty_algorithm.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, typename Fn>
TT	kitty::unary_operation (const TT &tt, Fn &&op)
	Perform bitwise unary operation on truth table.
template<typename TT, typename Fn>
TT	kitty::binary_operation (const TT &first, const TT &second, Fn &&op)
	Perform bitwise binary operation on two truth tables.
template<typename TT, typename Fn>
bool	kitty::binary_predicate (const TT &first, const TT &second, Fn &&op)
	Computes a predicate based on two truth tables.
template<typename TT, typename Fn>
void	kitty::assign_operation (TT &tt, Fn &&op)
	Assign computed values to bits.
template<typename TT, typename Fn>
void	kitty::for_each_block (const TT &tt, Fn &&op)
	Iterates through each block of a truth table.
template<typename TT, typename Fn>
void	kitty::for_each_block_reversed (const TT &tt, Fn &&op)
	Iterates through each block of a truth table in reverse order.