Include file:
#include "mcrl2/lps/binary.h"
The binary algorithm.
mcrl2::lps::binary_algorithm
mcrl2::lps::
::
nr_of_booleans_for_elements
mcrl2/lps/add_binding.h
mcrl2/lps/builder.h