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

Constant with no upper bound (scalable). More...

#include <const.h>

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

List of all members.

Public Member Functions

 ScalableConstant (std::string name, unsigned int lbound)
 ScalableConstant constructor.
 ~ScalableConstant () override
 ScalableConstant destructor.
unsigned int lbound () const

Detailed Description

Constant with no upper bound (scalable).


Constructor & Destructor Documentation

sesstype::parameterised::ScalableConstant::ScalableConstant ( std::string  name,
unsigned int  lbound 
) [inline]

ScalableConstant constructor.

Parameters:
[in]nameof Constant.
[in]lboundlower bound of range.

Member Function Documentation

unsigned int sesstype::parameterised::ScalableConstant::lbound ( ) const [inline]
Returns:
lower bound of range.

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