![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
get_root() (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
ProjectionVisitor(Role *endpoint) (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(Node *node) override (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline, virtual] |
visit(BlockNode *node) override | sesstype::util::ProjectionVisitor | [inline] |
visit(InteractionNode *node) override (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(ChoiceNode *node) (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(RecurNode *node) override (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(ContinueNode *node) override (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(ParNode *node) (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(NestedNode *node) (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(InterruptibleNode *node) (defined in sesstype::util::ProjectionVisitor) | sesstype::util::ProjectionVisitor | [inline] |
visit(BlockNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(InteractionNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(ChoiceNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(RecurNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(ContinueNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(ParNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(NestedNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |
visit(InterruptibleNodeTmpl< Node, Role, MsgSig, util::NodeVisitor > *node)=0 (defined in sesstype::util::NodeVisitor) | sesstype::util::NodeVisitor | [pure virtual] |