info.h File Reference

Interface to classes Info. More...

Go to the source code of this file.

Classes
class	mcrl2::data::detail::Info
	Base class for classes that provide information about the structure of. More...

Namespaces
namespace	mcrl2
namespace	mcrl2::data
namespace	mcrl2::data::detail

Enumerations
enum class	mcrl2::data::detail::Compare_Result { mcrl2::data::detail::compare_result_smaller , mcrl2::data::detail::compare_result_equal , mcrl2::data::detail::compare_result_bigger }

Detailed Description

Interface to classes Info.

Definition in file info.h.