mcrl2/lps/binary.h

Include file:

#include "mcrl2/lps/binary.h"

The binary algorithm.

Functions

std::size_t mcrl2::lps::nr_of_booleans_for_elements(std::size_t n)