PrintingΒΆ

The header <kitty/print.hpp> implements functions to print truth tables.

Function
Description

print_binary(tt, os)

Prints truth table in binary representation.

print_hex(tt, os)

Prints truth table in hexadecimal representation.

print_raw(tt, os)

Prints truth table in raw binary presentation (for file I/O)

to_binary(tt)

Returns truth table as a string in binary representation.

to_hex(tt)

Returns truth table as a string in hexadecimal representation.

print_xmas_tree_for_function(tt, os)

Prints minterms of a Boolean function in christmas tree pattern.

print_xmas_tree_for_functions(num_vars, style_predicates, os)

Prints all Boolean functions of n variables in christmas tree pattern.

anf_to_expression(anf)

Creates an expression for an ANF form.