mcrl2/modal_formula/count_fixpoints.h

Include file:

#include "mcrl2/modal_formula/count_fixpoints.h"

add your file description here.

Functions

std::size_t mcrl2::state_formulas::count_fixpoints(const state_formula &x)

Counts the number of fixpoints in a state formula.

Parameters:

  • x A state formula

Returns: The number of fixpoints in a state formula