mcrl2::lps::specification

Include file:

#include "mcrl2/lps/specification.h
class mcrl2::lps::specification

Linear process specification.

Protected types

type super

typedef for specification_base< linear_process, process_initializer >

Public member functions

void load(std::istream &stream, bool binary = true, const std::string &source = "")
void save(std::ostream &stream, bool binary = true) const
specification()

Constructor.

specification(const specification &other)
specification(const atermpp::aterm_appl &t)

Constructor.

Parameters:

  • t A term
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