mcrl2::lps::linear_process

Include file:

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

linear process.

Private types

type super

typedef for linear_process_base< action_summand >

Public member functions

linear_process()

Constructor.

linear_process(const linear_process &other)

Copy constructor.

linear_process(const data::variable_list &process_parameters, const deadlock_summand_vector &deadlock_summands, const action_summand_vector &action_summands)

Constructor.

linear_process(const atermpp::aterm_appl &lps, bool = false)

Constructor.

Parameters:

  • lps A term