mcrl2/lps/action_summand.h

Include file:

#include "mcrl2/lps/action_summand.h"

add your file description here.

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::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.

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 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(stochastic_action_summand &t1, stochastic_action_summand &t2)

brief swap overload