libsesstype  2.0.0
Library for Session Types programming.
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