![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
Top-level header to pull in all defined Node classes in sesstype::parameterised. More...
#include "sesstype/parameterised/node.h"
#include "sesstype/parameterised/node/block.h"
#include "sesstype/parameterised/node/interaction.h"
#include "sesstype/parameterised/node/choice.h"
#include "sesstype/parameterised/node/recur.h"
#include "sesstype/parameterised/node/continue.h"
#include "sesstype/parameterised/node/par.h"
#include "sesstype/parameterised/node/nested.h"
#include "sesstype/parameterised/node/interruptible.h"
#include "sesstype/parameterised/node/for.h"
#include "sesstype/parameterised/node/oneof.h"
#include "sesstype/parameterised/node/if.h"
#include "sesstype/parameterised/node/allreduce.h"
Go to the source code of this file.
Top-level header to pull in all defined Node classes in sesstype::parameterised.