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

Constant with bounds (range). More...

#include <const.h>

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

List of all members.

Public Member Functions

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

Detailed Description

Constant with bounds (range).


Constructor & Destructor Documentation

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

BoundedConstant constructor.

Parameters:
[in]nameof BoundedConstant.
[in]lboundlower bound of range.
[in]uboundupper bound of range.

Member Function Documentation

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

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