mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::data::detail::parameter Struct Reference

#include <parvalues.h>

Public Member Functions

 parameter (const core::identifier_string &e, const variable &v)
 
 parameter (const variable &v)
 
bool operator== (const parameter &other) const
 
bool operator< (const parameter &other) const
 
 operator std::string () const
 

Public Attributes

const core::identifier_string eqn
 
const variable var
 

Detailed Description

Definition at line 42 of file parvalues.h.

Constructor & Destructor Documentation

◆ parameter() [1/2]

mcrl2::data::detail::parameter::parameter ( const core::identifier_string &  e,
const variable &  v 
)
inline

Definition at line 47 of file parvalues.h.

◆ parameter() [2/2]

mcrl2::data::detail::parameter::parameter ( const variable &  v)
inline

Definition at line 51 of file parvalues.h.

Member Function Documentation

◆ operator std::string()

mcrl2::data::detail::parameter::operator std::string ( ) const
inline

Definition at line 65 of file parvalues.h.

◆ operator<()

bool mcrl2::data::detail::parameter::operator< ( const parameter &  other) const
inline

Definition at line 60 of file parvalues.h.

◆ operator==()

bool mcrl2::data::detail::parameter::operator== ( const parameter &  other) const
inline

Definition at line 55 of file parvalues.h.

Member Data Documentation

◆ eqn

const core::identifier_string mcrl2::data::detail::parameter::eqn

Definition at line 44 of file parvalues.h.

◆ var

const variable mcrl2::data::detail::parameter::var

Definition at line 45 of file parvalues.h.

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