libsesstype  2.0.0
Library for Session Types programming.
 All Classes Namespaces Files Functions
Public Member Functions
sesstype::parameterised::ValueConstant Class Reference

Constant value. More...

#include <const.h>

Inheritance diagram for sesstype::parameterised::ValueConstant:
Inheritance graph
[legend]
Collaboration diagram for sesstype::parameterised::ValueConstant:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 ValueConstant (std::string name, unsigned int value)
 ValueConstant constructor.
 ~ValueConstant () override
 ValueConstant destructor.
unsigned int value () const

Detailed Description

Constant value.


Constructor & Destructor Documentation

sesstype::parameterised::ValueConstant::ValueConstant ( std::string  name,
unsigned int  value 
) [inline]

ValueConstant constructor.

Parameters:
[in]nameof ValueConstant.
[in]valueof ValueConstant.

Member Function Documentation

unsigned int sesstype::parameterised::ValueConstant::value ( ) const [inline]
Returns:
value of ValueConstant.

The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions