mCRL2
|
Author(s): # Carlos Gregorio-Rodriguez, Luis LLana, Rafael Martinez-Torres. More...
Go to the source code of this file.
Classes | |
class | mcrl2::lts::detail::ready_sim_partitioner< LTS_TYPE > |
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. | |
Author(s): # Carlos Gregorio-Rodriguez, Luis LLana, Rafael Martinez-Torres.
Header file for the ready-simulation preorder algorithm
Definition in file liblts_ready_sim.h.