libsesstype
2.0.0
Library for Session Types programming.
Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Functions
a
b
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
~
- a -
accept() :
sesstype::parameterised::Node
,
sesstype::parameterised::Role
,
sesstype::parameterised::RoleGrp
add_arg() :
sesstype::NestedNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
add_catch() :
sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
add_choice() :
sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
add_constant() :
sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >
add_group() :
sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >
add_import() :
sesstype::ModuleTmpl< ImportType, SessionType >
add_interrupt() :
sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
add_member() :
sesstype::parameterised::RoleGrp
add_parallel() :
sesstype::ParNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
add_param() :
sesstype::parameterised::MsgPayload
,
sesstype::parameterised::Role
add_payload() :
sesstype::MsgSig
add_rcvr() :
sesstype::InteractionNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
add_role() :
sesstype::SessionTmpl< BaseNode, RoleType >
add_session() :
sesstype::ModuleTmpl< ImportType, SessionType >
add_throw() :
sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
AddExpr() :
sesstype::parameterised::AddExpr
AllReduceNodeTmpl() :
sesstype::parameterised::AllReduceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
append_child() :
sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
append_value() :
sesstype::parameterised::SeqExpr
as() :
sesstype::Import
at() :
sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
All
Classes
Namespaces
Files
Functions
Generated by
1.7.6.1