mcrl2::process::process_identifier_assignment Struct Reference

#include <replace.h>

Public Types
typedef process_identifier	result_type
typedef process_identifier	argument_type

Public Member Functions
	process_identifier_assignment (const process_identifier &lhs_, const process_identifier &rhs_)
process_identifier	operator() (const process_identifier &x) const

Public Attributes
process_identifier	lhs
process_identifier	rhs

Detailed Description

Definition at line 165 of file replace.h.

Member Typedef Documentation

argument_type

typedef process_identifier mcrl2::process::process_identifier_assignment::argument_type

Definition at line 171 of file replace.h.

result_type

typedef process_identifier mcrl2::process::process_identifier_assignment::result_type

Definition at line 170 of file replace.h.

Constructor & Destructor Documentation

process_identifier_assignment()

mcrl2::process::process_identifier_assignment::process_identifier_assignment ( const process_identifier &  lhs_, const process_identifier &  rhs_  )

inline

Definition at line 173 of file replace.h.

Member Function Documentation

operator()()

process_identifier mcrl2::process::process_identifier_assignment::operator() ( const process_identifier &  x ) const

inline

Definition at line 177 of file replace.h.

Member Data Documentation

lhs

process_identifier mcrl2::process::process_identifier_assignment::lhs

Definition at line 167 of file replace.h.

rhs

process_identifier mcrl2::process::process_identifier_assignment::rhs

Definition at line 168 of file replace.h.

---

The documentation for this struct was generated from the following file:

• process/include/mcrl2/process/replace.h