add your file description here. More...

Classes
class	mcrl2::lps::pins_data_type
	Models a pins data type. A pins data type maintains a mapping between known values of a data type and integers. More...

class	mcrl2::lps::pins_data_type::index_iterator
	Forward iterator used for iterating over indices. More...

class	mcrl2::lps::state_data_type
	Models the mapping of mCRL2 state values to integers. More...

class	mcrl2::lps::action_label_data_type
	Models the mapping of mCRL2 action labels to integers. More...

class	mcrl2::lps::pins

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::log

namespace	mcrl2::lps
	The main namespace for the LPS library.

Typedefs
typedef mcrl2::log::log_level_t	mcrl2_log_level_t

using	mcrl2::log::mcrl2_logger = mcrl2::log::logger

Functions
std::vector< std::string >	mcrl2::lps::generate_values (const data::data_specification &dataspec, const data::sort_expression &s, std::size_t max_size=1000)
	Generates possible values of the data type (at most max_size).

Detailed Description

add your file description here.

Definition in file ltsmin.h.

Macro Definition Documentation

#define MCRL2_GUARDS 1

Definition at line 15 of file ltsmin.h.

Definition at line 24 of file ltsmin.h.