![]() |
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.
1.7.6.1