test_utility.h File Reference

Utility functions for testing. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
data::variable	mcrl2::pbes_system::detail::nat (const std::string &name)
	Returns a data variable of type Nat with a given name.
data::variable	mcrl2::pbes_system::detail::pos (const std::string &name)
	Returns a data variable of type Pos with a given name.
data::variable	mcrl2::pbes_system::detail::bool_ (const std::string &name)
	Returns a data variable of type Bool with a given name.
propositional_variable	mcrl2::pbes_system::detail::propvar (const std::string &name, const data::variable_list &parameters)
	Returns a propositional variable declaration with the given name and parameters.
propositional_variable_instantiation	mcrl2::pbes_system::detail::propvarinst (const std::string &name, const data::data_expression_list &parameters)
	Returns a propositional variable instantiation with the given name and parameters.

Detailed Description

Utility functions for testing.

Definition in file test_utility.h.