File List

Here is a list of all documented files with brief descriptions:

add.h [code]
allreduce.h [code]
node/block.h [code]
parameterised/node/block.h [code]
node/choice.h [code]
parameterised/node/choice.h [code]
clonable.h [code]
cond.h [code]
const.h [code]	Constants
node/continue.h [code]
parameterised/node/continue.h [code]
div.h [code]
parameterised/util/empty_visitor.h [code]
util/empty_visitor.h [code]
expr.h [code]	Expressions in a Role parameter or statement
expr_apply.h [code]
expr_eval.h [code]
expr_invert.h [code]
expr_print.h [code]
expr_visitor.h [code]	Utilities for Expr
exprs.h [code]	Top-level header to pull in all defined Expr classes in sesstype::parameterised
for.h [code]
if.h [code]
import.h [code]	Protocol or Module imports
node/interaction.h [code]
parameterised/node/interaction.h [code]
node/interruptible.h [code]
parameterised/node/interruptible.h [code]
log.h [code]
mod.h [code]
module.h [code]	Module containing sessions or sessions
parameterised/module.h [code]	Module containing protocols or sessions (parameterised)
msg.h [code]	A message for passing between participants
parameterised/msg.h [code]	A message for passing between participants (parameterised)
mul.h [code]
node/nested.h [code]
parameterised/node/nested.h [code]
node.h [code]	Statements in a protocol or session
parameterised/node.h [code]	Statements in a protocol or session (parameterised)
parameterised/util/node_visitor.h [code]	Utilities for Node
util/node_visitor.h [code]	Utilities for Node
nodes.h [code]	Top-level header to pull in all defined Node classes in sesstype::parameterised
oneof.h [code]
node/par.h [code]
parameterised/node/par.h [code]
parameterised.h [code]	Toplevel header files to pull in all dependency of parameterised
parameterised/util/print.h [code]
util/print.h [code]
parameterised/util/project.h [code]
util/project.h [code]
node/recur.h [code]
parameterised/node/recur.h [code]
rng.h [code]
parameterised/role.h [code]	A (parameterised) participant of a protocol or session
role.h [code]	A participant of a protocol or session
role_grp.h [code]	A group of participants of a protocol or session
parameterised/util/role_visitor.h [code]
util/role_visitor.h [code]	Utities for Roles
seq.h [code]
parameterised/session.h [code]	A session or a session of an interaction, also known in the literature as global type (contains parameterised elements)
session.h [code]	A session or a session of an interaction, also known in the literature as global type
sesstype.h [code]	Top-level header file to access data structures and functions for representing a session type
shl.h [code]
shr.h [code]
sub.h [code]
parameterised/util.h [code]	Utilities for working with Parameterised Session Types
util.h [code]	Utilities for working with Session Types
val.h [code]
var.h [code]
visitor_tmpl.h [code]