![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
accept(util::NodeVisitor &v)=0 | sesstype::parameterised::Node | [pure virtual] |
clone() const =0 (defined in sesstype::util::Clonable) | sesstype::util::Clonable | [pure virtual] |
Node(unsigned int type) (defined in sesstype::parameterised::Node) | sesstype::parameterised::Node | [inline, explicit, protected] |
operator<< (defined in sesstype::parameterised::Node) | sesstype::parameterised::Node | [friend] |
operator<< (defined in sesstype::Node) | sesstype::Node | [friend] |
type() const | sesstype::Node | [inline] |
~Clonable() (defined in sesstype::util::Clonable) | sesstype::util::Clonable | [inline, virtual] |
~Node() | sesstype::Node | [inline, virtual] |