mcrl2::lps::decluster_algorithm¶

Include file:

#include "mcrl2/lps/decluster.h

class mcrl2::lps::decluster_algorithm¶

Private types¶

type mcrl2::lps::decluster_algorithm::action_summand_type¶: typedef for process_type::action_summand_type

type mcrl2::lps::decluster_algorithm::action_summand_vector_type¶: typedef for std::vector< action_summand_type >

type mcrl2::lps::decluster_algorithm::process_type¶: typedef for Specification::process_type

type mcrl2::lps::decluster_algorithm::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()