mcrl2/pbes/fixpoint_symbol.h

Include file:

#include "mcrl2/pbes/fixpoint_symbol.h"

The class fixpoint_symbol.

Typedefs

type mcrl2::pbes_system::fixpoint_symbol_list

typedef for atermpp::term_list< fixpoint_symbol >

list of fixpoint_symbols

type mcrl2::pbes_system::fixpoint_symbol_vector

typedef for std::vector< fixpoint_symbol >

vector of fixpoint_symbols

Functions

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const fixpoint_symbol &x)

Outputs the object to a stream.

Parameters:

  • out An output stream

  • x Object x

Returns: The output stream

std::string pp(const fixpoint_symbol &x)
void mcrl2::pbes_system::swap(fixpoint_symbol &t1, fixpoint_symbol &t2)

swap overload