libsesstype
2.0.0
Library for Session Types programming.
Main Page
Related Pages
Namespaces
Classes
Files
Test List
Member
sesstype::tests::TEST_F
(APITest, BasicUsage)
Basic usage of C API.
Member
sesstype::tests::TEST_F
(RoleTest, BasicRolrGrp)
Basic usage of RoleGrp.
Member
sesstype::tests::TEST_F
(RoleTest, BasicRole)
Basic usage of Role.
Member
sesstype::tests::TEST_F
(SessionTest, EmptySession)
Test construction of empty session.
Member
sesstype::tests::TEST_F
(ProjectionTest, BasicProjection)
Basic usage of Role.
Member
sesstype::tests::TEST_F
(NodeTest, BasicUsage)
Basic construction and use of Node.
Member
sesstype::tests::TEST_F
(NodeTest, TestIfNode)
IfNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestOneofNode)
OneofNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestAllReduceNode)
AllReduceNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestForNode)
ForNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestInterruptibleNode)
InterruptibleNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestNestedNode)
NestNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestParNode)
ParNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestChoiceNode)
ChoiceNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestContinueNode)
ContinueNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestRecurNode)
RecurNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestInteractionNode)
InteractionNode operations.
Member
sesstype::tests::TEST_F
(NodeTest, TestBlockNode)
BlockNode operations.
Member
sesstype::tests::TEST_F
(ModuleTest, Module_Alias)
Import alias works like normal Import but points to original Import.
Member
sesstype::tests::TEST_F
(ModuleTest, Module_AddConstant)
Test adding constant to Module.
Member
sesstype::tests::TEST_F
(ModuleTest, Module_AddImport)
Test adding Import to Module.
Member
sesstype::tests::TEST_F
(ModuleTest, Module_AddSession)
Test adding Sessions to Module.
Member
sesstype::tests::TEST_F
(ModuleTest, EmptyModule)
Test default settings of Module.
Member
sesstype::tests::TEST_F
(MsgTest, BasicMessages)
Check that basic operation with non-empty message works.
Member
sesstype::tests::TEST_F
(MsgTest, EmptyParameterisedPayload)
Check that empty parameterised message payload can be constructed.
Member
sesstype::tests::TEST_F
(MsgTest, EmptyPayload)
Check that empty message payload can be constructed.
Member
sesstype::tests::TEST_F
(MsgTest, EmptyMsg)
Check that empty message signature can be constructed.
Member
sesstype::tests::TEST_F
(ConstantTest, BasicConsts)
Basic construction and use of Constant.
All
Classes
Namespaces
Files
Functions
Generated by
1.7.6.1