libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > Member List
This is the complete list of members for sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >, including all inherited members.
add_constant(ConstantType *c)sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
add_import(ImportType *import)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
add_session(SessionType *session)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
const_begin() const (defined in sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >)sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
const_end() const (defined in sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >)sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
constant(std::string name) const sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
has_constant(std::string name) const sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
has_import(std::string name) const sesstype::ModuleTmpl< ImportType, SessionType > [inline]
has_session(std::string name) const sesstype::ModuleTmpl< ImportType, SessionType > [inline]
import(std::string name) const sesstype::ModuleTmpl< ImportType, SessionType > [inline]
import_begin() const (defined in sesstype::ModuleTmpl< ImportType, SessionType >)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
import_end() const (defined in sesstype::ModuleTmpl< ImportType, SessionType >)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
ModuleTmpl()sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
ModuleTmpl(std::string name)sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
name() const sesstype::ModuleTmpl< ImportType, SessionType > [inline]
num_constants() const sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline]
num_imports() const (defined in sesstype::ModuleTmpl< ImportType, SessionType >)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
num_sessions() const sesstype::ModuleTmpl< ImportType, SessionType > [inline]
session(std::string name) const sesstype::ModuleTmpl< ImportType, SessionType > [inline]
session_begin() const (defined in sesstype::ModuleTmpl< ImportType, SessionType >)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
session_end() const (defined in sesstype::ModuleTmpl< ImportType, SessionType >)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
set_name(std::string name)sesstype::ModuleTmpl< ImportType, SessionType > [inline]
~ModuleTmpl()sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType > [inline, virtual]
 All Classes Namespaces Files Functions