mcrl2/lps/summand.h

Include file:

#include "mcrl2/lps/summand.h"

The class summand.

Classes

• mcrl2::lps::summand_base

Typedefs

type mcrl2::lps::action_summand_list

typedef for atermpp::term_list< action_summand >

brief list of action_summands

type mcrl2::lps::action_summand_vector

typedef for std::vector< action_summand >

brief vector of action_summands

type mcrl2::lps::deadlock_summand_list

typedef for atermpp::term_list< deadlock_summand >

brief list of deadlock_summands

type mcrl2::lps::deadlock_summand_vector

typedef for std::vector< deadlock_summand >

brief vector of deadlock_summands

type mcrl2::lps::stochastic_action_summand_list

typedef for atermpp::term_list< stochastic_action_summand >

brief list of stochastic_action_summands

type mcrl2::lps::stochastic_action_summand_vector

typedef for std::vector< stochastic_action_summand >

brief vector of stochastic_action_summands

Functions

atermpp::aterm_appl mcrl2::lps::action_summand_to_aterm(const action_summand &s)

Conversion to aterm_appl.

atermpp::aterm_appl mcrl2::lps::action_summand_to_aterm(const stochastic_action_summand &s)

Conversion to aterm_appl.

atermpp::aterm_appl mcrl2::lps::deadlock_summand_to_aterm(const deadlock_summand &s)

Conversion to atermappl.

Returns: The deadlock summand converted to aterm format.

bool mcrl2::lps::operator<(const action_summand &x, const action_summand &y)

Comparison operator for action summands.

bool mcrl2::lps::operator<(const stochastic_action_summand &x, const stochastic_action_summand &y)

Comparison operator for action summands.

std::ostream &mcrl2::lps::operator<<(std::ostream &out, const action_summand &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::lps::operator<<(std::ostream &out, const deadlock_summand &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::lps::operator<<(std::ostream &out, const stochastic_action_summand &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

bool mcrl2::lps::operator==(const action_summand &x, const action_summand &y)

Equality operator of action summands.

bool mcrl2::lps::operator==(const stochastic_action_summand &x, const stochastic_action_summand &y)

Equality operator of stochastic action summands.

void mcrl2::lps::swap(action_summand &t1, action_summand &t2)

brief swap overload

void mcrl2::lps::swap(deadlock_summand &t1, deadlock_summand &t2)

brief swap overload

void mcrl2::lps::swap(stochastic_action_summand &t1, stochastic_action_summand &t2)

brief swap overload