mcrl2/lps/action_summand.h

Include file:

#include "mcrl2/lps/action_summand.h"

add your file description here.

Typedefs

type action_summand_list

typedef for atermpp::term_list< action_summand >

list of action_summands

type action_summand_vector

typedef for std::vector< action_summand >

vector of action_summands

type stochastic_action_summand_list

typedef for atermpp::term_list< stochastic_action_summand >

list of stochastic_action_summands

type stochastic_action_summand_vector

typedef for std::vector< stochastic_action_summand >

vector of stochastic_action_summands

Functions

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

Conversion to aterm_appl.

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

Conversion to aterm_appl.

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

Comparison operator for action summands.

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

Comparison operator for action summands.

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Equality operator of stochastic action summands.

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

Equality operator of action summands.

std::string pp(const stochastic_action_summand &x)
std::string pp(const action_summand &x)
void mcrl2::lps::swap(stochastic_action_summand &t1, stochastic_action_summand &t2)

swap overload

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

swap overload