mcrl2::lps::linear_process

Include file:

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

linear process.

Private types

type mcrl2::lps::linear_process::super

typedef for linear_process_base< action_summand >

Public member functions

linear_process() = default

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