mcrl2::lps::summand_base

Include file:

#include "mcrl2/lps/summand.h
class mcrl2::lps::summand_base

Base class for LPS summands.

Protected attributes

data::data_expression m_condition

The condition of the summand.

data::variable_list m_summation_variables

The summation variables of the summand.

Public member functions

const data::data_expression &condition() const

Returns the condition expression.

Returns: The condition expression.

data::data_expression &condition()

Returns the condition expression.

Returns: The condition expression.

summand_base()

Constructor.

summand_base(const data::variable_list &summation_variables, const data::data_expression &condition)

Constructor.

data::variable_list &summation_variables()

Returns the sequence of summation variables.

Returns: The sequence of summation variables.

const data::variable_list &summation_variables() const

Returns the sequence of summation variables.

Returns: The sequence of summation variables.

void swap(summand_base &other)

Swaps the contents.