Namespaces
namespace	action_formulas

namespace	core

namespace	data

namespace	gui

namespace	log

namespace	lps
	The main namespace for the LPS library.

namespace	lts
	The main LTS namespace.

namespace	pbes_system
	The main namespace for the PBES library.

namespace	pres_system
	The main namespace for the PRES library.

namespace	process
	The main namespace for the Process library.

namespace	regular_formulas

namespace	smt

namespace	state_formulas

namespace	symbolic

namespace	utilities

Classes
class	command_line_error
	Exception class for errors raised by the command-line parser. More...

class	runtime_error
	Standard exception class for reporting runtime errors. More...

Functions
bool	is_srf (const pbes_system::pbes &pbes, bool merge_simple_expressions=true)

Function Documentation

◆ is_srf()

bool mcrl2::is_srf	(	const pbes_system::pbes &	pbes,
		bool	merge_simple_expressions = `true`
	)

inline

Definition at line 1078 of file srf_pbes.h.