liblts_coupledsim.h File Reference

Go to the source code of this file.

Classes
struct	mcrl2::lts::detail::cs_game_node
struct	mcrl2::lts::detail::cs_game_move

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lts
	The main LTS namespace.
namespace	mcrl2::lts::detail
	A base class for the lts_dot labelled transition system.

Functions
bool	mcrl2::lts::detail::operator== (const cs_game_node &n0, const cs_game_node &n1)
bool	mcrl2::lts::detail::operator!= (const cs_game_node &n0, const cs_game_node &n1)
bool	mcrl2::lts::detail::operator< (const cs_game_node &n0, const cs_game_node &n1)
std::string	mcrl2::lts::detail::to_string (const cs_game_node &n)
bool	mcrl2::lts::detail::equals (const cs_game_move &m0, const cs_game_move &m1, bool weak_transition=false)
bool	mcrl2::lts::detail::operator< (const cs_game_move &m0, const cs_game_move &m1)
template<class LTS_TYPE >
bool	mcrl2::lts::detail::coupled_simulation_compare (LTS_TYPE &l1, LTS_TYPE &l2)

Variables
const unsigned char	mcrl2::lts::detail::NODE_ATK = 0
const unsigned char	mcrl2::lts::detail::NODE_DEF = 1
const unsigned char	mcrl2::lts::detail::NODE_CPL = 2