mCRL2
|
Go to the source code of this file.
Classes | |
class | mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE > |
struct | mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block |
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 | |
template<class LTS_TYPE > | |
bool | mcrl2::lts::detail::destructive_branching_bisimulation_compare_minimal_depth (LTS_TYPE &l1, LTS_TYPE &l2, const std::string &counter_example_file) |