kitty_operators.hpp File Reference

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

Include dependency graph for kitty_operators.hpp:

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

Go to the source code of this file.

Namespaces
namespace	kitty

Functions
dynamic_truth_table	kitty::operator~ (const dynamic_truth_table &tt)
	Operator for unary_not.
template<uint32_t NumVars>
static_truth_table< NumVars >	kitty::operator~ (const static_truth_table< NumVars > &tt)
	Operator for unary_not.
dynamic_truth_table	kitty::operator& (const dynamic_truth_table &first, const dynamic_truth_table &second)
	Operator for binary_and.
template<uint32_t NumVars>
static_truth_table< NumVars >	kitty::operator& (const static_truth_table< NumVars > &first, const static_truth_table< NumVars > &second)
	Operator for binary_and.
void	kitty::operator&= (dynamic_truth_table &first, const dynamic_truth_table &second)
	Operator for binary_and and assign.
template<uint32_t NumVars>
void	kitty::operator&= (static_truth_table< NumVars > &first, const static_truth_table< NumVars > &second)
	Operator for binary_and and assign.
dynamic_truth_table	kitty::operator| (const dynamic_truth_table &first, const dynamic_truth_table &second)
	Operator for binary_or.
template<uint32_t NumVars>
static_truth_table< NumVars >	kitty::operator| (const static_truth_table< NumVars > &first, const static_truth_table< NumVars > &second)
	Operator for binary_or.
void	kitty::operator|= (dynamic_truth_table &first, const dynamic_truth_table &second)
	Operator for binary_or and assign.
template<uint32_t NumVars>
void	kitty::operator|= (static_truth_table< NumVars, true > &first, const static_truth_table< NumVars, true > &second)
	Operator for binary_or and assign.
template<uint32_t NumVars>
void	kitty::operator|= (static_truth_table< NumVars, false > &first, const static_truth_table< NumVars, false > &second)
	Operator for binary_or and assign.