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
