12#ifndef MCRL2_MODAL_FORMULA_STATE_FORMULA_SPECIFICATION_H
13#define MCRL2_MODAL_FORMULA_STATE_FORMULA_SPECIFICATION_H
19namespace state_formulas {
90std::string
pp(
const state_formula_specification& x);
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...