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