mcrl2/lps/binary.h¶

Include file:

#include "mcrl2/lps/binary.h"

The binary algorithm.

Classes¶

mcrl2::lps::binary_algorithm

Functions¶

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