mcrl2::lps::specification

Include file:

#include "mcrl2/lps/specification.h

class mcrl2::lps::specification

Linear process specification.

Protected types

type mcrl2::lps::specification::super

typedef for specification_base< linear_process, process_initializer >

Public member functions

specification() = default

Constructor.

specification(const data::data_specification &data, const process::action_label_list &action_labels, const std::set<data::variable> &global_variables, const linear_process &lps, const process_initializer &initial_process)

Constructor.

Parameters:

• data A data specification
• action_labels A sequence of action labels
• global_variables A set of global variables
• lps A linear process
• initial_process A process initializer