Include file:
#include "mcrl2/lps/deadlock_summand.h"
add your file description here.
mcrl2::lps::
deadlock_summand_list
¶typedef for atermpp::term_list< deadlock_summand >
list of deadlock_summands
mcrl2::lps::
deadlock_summand_vector
¶typedef for std::vector< deadlock_summand >
vector of deadlock_summands
mcrl2::lps::
deadlock_summand_to_aterm
(const deadlock_summand &s)¶Conversion to atermappl.
Returns: The deadlock summand converted to aterm format.
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
pp
(const deadlock_summand &x)¶mcrl2::lps::
swap
(deadlock_summand &t1, deadlock_summand &t2)¶swap overload