mcrl2/lps/deadlock.h
Include file:
#include "mcrl2/lps/deadlock.h"
add your file description here.
Typedefs
-
type
mcrl2::lps::
deadlock_list
typedef for atermpp::term_list< deadlock >
list of deadlocks
-
type
mcrl2::lps::
deadlock_vector
typedef for std::vector< deadlock >
vector of deadlocks
Functions
-
std::set<data::variable>
find_all_variables
(const lps::deadlock &x)
-
std::set<data::variable>
find_free_variables
(const lps::deadlock &x)
-
std::ostream &
mcrl2::lps::
operator<<
(std::ostream &out, const deadlock &x)
Outputs the object to a stream.
Parameters:
out An output stream
x Object x
Returns: The output stream
-
std::string
pp
(const deadlock &x)
-
void
mcrl2::lps::
swap
(deadlock &t1, deadlock &t2)
swap overload