const.h File Reference

Constants. More...

#include <string>

Include dependency graph for const.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	sesstype::parameterised::Constant
	Named constants. More...
class	sesstype::parameterised::ValueConstant
	Constant value. More...
class	sesstype::parameterised::BoundedConstant
	Constant with bounds (range). More...
class	sesstype::parameterised::ScalableConstant
	Constant with no upper bound (scalable). More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Defines
#define	ST_CONST_VALUE   1
#define	ST_CONST_RANGE   2
#define	ST_CONST_SCALABLE   3
Typedefs
typedef Constant	sesstype::parameterised::st_const
Functions
st_const *	sesstype::parameterised::st_mk_val_const (const char *name, int value)
	Make a value constant.
st_const *	sesstype::parameterised::st_mk_rng_const (const char *name, int lbound, int ubound)
	Make a range constant.
st_const *	sesstype::parameterised::st_mk_inf_const (const char *name, int lbound)
	Make a scalable constant.
int	sesstype::parameterised::st_const_get_type (st_const *const con)
	Get constant type from Constant.
void	sesstype::parameterised::st_free_const (st_const *con)
	Free allocated Constant.

---

Detailed Description

Constants.