mcrl2/lps/deadlock_summand.h

Include file:

#include "mcrl2/lps/deadlock_summand.h"

add your file description here.

Typedefs

type deadlock_summand_list

typedef for atermpp::term_list< deadlock_summand >

list of deadlock_summands

type deadlock_summand_vector

typedef for std::vector< deadlock_summand >

vector of deadlock_summands

Functions

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

Conversion to atermappl.

Returns: The deadlock summand converted to aterm format.

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

swap overload