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
mcrl2::lps::summand_base::m_condition¶ The condition of the summand.
-
data::variable_list
mcrl2::lps::summand_base::m_summation_variables¶ The summation variables of the summand.
Public member functions¶
-
data::data_expression &
condition() Returns the condition expression.
Returns: The condition expression.
-
const data::data_expression &
condition() const 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.
