mcrl2::lps::decluster_algorithm

Include file:

#include "mcrl2/lps/decluster.h
class mcrl2::lps::decluster_algorithm

Private types

type action_summand_type

typedef for process_type::action_summand_type

type action_summand_vector_type

typedef for std::vector< action_summand_type >

type process_type

typedef for Specification::process_type

type super

typedef for detail::lps_algorithm< Specification >

Protected member functions

void decluster_summand(const SummandType &summand, OutIter &out)

Public member functions

decluster_algorithm(Specification &spec)
void run()