Include file:
#include "mcrl2/modal_formula/count_fixpoints.h"
add your file description here.
mcrl2::state_formulas::
count_fixpoints
(const state_formula &x)¶Counts the number of fixpoints in a state formula.
Parameters:
Returns: The number of fixpoints in a state formula