mcrl2/pbes/fixpoint_symbol.h

Include file:

#include "mcrl2/pbes/fixpoint_symbol.h"

The class fixpoint_symbol.

Classes

• mcrl2::pbes_system::fixpoint_symbol

Typedefs

type mcrl2::pbes_system::fixpoint_symbol_list

typedef for atermpp::term_list< fixpoint_symbol >

brief list of fixpoint_symbols

type mcrl2::pbes_system::fixpoint_symbol_vector

typedef for std::vector< fixpoint_symbol >

brief vector of fixpoint_symbols

Functions

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

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

void mcrl2::pbes_system::swap(fixpoint_symbol &t1, fixpoint_symbol &t2)

brief swap overload