mcrl2/core/term_traits.h

Include file:

#include "mcrl2/core/term_traits.h"

Traits class for (boolean) terms.

Classes

• mcrl2::core::term_traits