Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

sesstype::parameterised::AddExpr	Addition expression
sesstype::parameterised::AllReduceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	All-to-all reduction statement
sesstype::tests::APITest
sesstype::parameterised::BinExpr	Binary expression (Abstract)
sesstype::BlockNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Block of statements (Node instances)
sesstype::parameterised::BoundedConstant	Constant with bounds (range)
sesstype::ChoiceNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Choice blocks
sesstype::util::Clonable	Pure virtual class for clonable classes
sesstype::parameterised::Constant	Named constants
sesstype::tests::ConstantTest
sesstype::ContinueNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Continue statements
sesstype::parameterised::DivExpr	Division expression
sesstype::parameterised::util::EmptyVisitor
sesstype::util::EmptyVisitor	Empty visitor for mocking transversal of all Nodes
sesstype::parameterised::Expr	Expression
sesstype::parameterised::util::ExprApply	ExprApply implements Pabble's apply(b, e)
sesstype::parameterised::util::ExprEval
sesstype::parameterised::util::ExprInvert	Given f(x) = y, calculate its mathematical reverse f^-1(y) = x
sesstype::parameterised::util::ExprPrintVisitor	Protocol and Expression printer
sesstype::parameterised::tests::ExprTest
sesstype::parameterised::util::ExprVisitor	Abstract class for building Expr visitors
sesstype::parameterised::ForNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Counting for-loop statement
sesstype::parameterised::IfNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	If-block
sesstype::Import	Import statement
sesstype::parameterised::InteractionNode	InteractionNode (message-passing) statements (parameterised)
sesstype::InteractionNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Interaction (message-passing) statements
sesstype::InterruptibleNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Interruptible blocks
sesstype::parameterised::LogExpr
sesstype::parameterised::ModExpr	Modulo expression
sesstype::tests::ModuleTest
sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >	Module is a container class for multiple logically related Protocols (contains parameterised elements)
sesstype::ModuleTmpl< ImportType, SessionType >	Module is a container class for multiple logically related Sessions
sesstype::parameterised::MsgPayload
sesstype::MsgPayload	Message Payload
sesstype::MsgSig	Message Signature
sesstype::tests::MsgTest
sesstype::parameterised::MulExpr	Multiplication expression
sesstype::NestedNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Nested session type
sesstype::parameterised::Node
sesstype::Node	Session Type statements (st_node)
sesstype::tests::NodeTest
sesstype::parameterised::util::NodeVisitor	Abstract class for building Node AST-based visitors
sesstype::util::NodeVisitor	Abstract class for building Node AST-based visitors
sesstype::parameterised::OneofNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Existential construct
sesstype::ParNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Parallel blocks
sesstype::util::Print	Protocol and Expression printer
sesstype::parameterised::util::PrintVisitor	Protocol and Expression printer
sesstype::tests::ProjectionTest
sesstype::util::ProjectionVisitor	Endpoint projection
sesstype::parameterised::util::ProjectionVisitor	Endpoint projection for parameterised session types
sesstype::RecurNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >	Recursion statements
sesstype::parameterised::RngExpr	Range expression with a binding variable
sesstype::parameterised::Role	Parameterised Role (participant) of a protocol or session
sesstype::Role	Role (participant) of a protocol or session
sesstype::parameterised::RoleGrp	Role Group (group of participants) of a protocol or session
sesstype::tests::RoleTest
sesstype::parameterised::util::RoleVisitor
sesstype::util::RoleVisitor	Abstract class for building Role visitors
sesstype::parameterised::ScalableConstant	Constant with no upper bound (scalable)
sesstype::parameterised::SeqExpr	Value sequence expression
sesstype::tests::SessionTest
sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >	Session class encapsulates a single session (parameterised flavour)
sesstype::SessionTmpl< BaseNode, RoleType >	Session (st_tree) class encapsulates a single session
sesstype::parameterised::ShlExpr	Shift left expression
sesstype::parameterised::ShrExpr	Shift right expression
sesstype::parameterised::SubExpr	Subtraction expression
sesstype::parameterised::ValExpr	Value expression
sesstype::parameterised::ValueConstant	Constant value
sesstype::parameterised::VarExpr	Variable expression
sesstype::util::Visitable< T >
sesstype::util::VisitableImpl< T, Types >
sesstype::util::Visitor< T >
sesstype::util::Visitor< T, Types...>