libsesstype
2.0.0
Library for Session Types programming.
Main Page
Related Pages
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Files
Functions
sesstype
parameterised
LogExpr
Public Member Functions
sesstype::parameterised::LogExpr Class Reference
Inheritance diagram for sesstype::parameterised::LogExpr:
[
legend
]
Collaboration diagram for sesstype::parameterised::LogExpr:
[
legend
]
List of all members.
Public Member Functions
LogExpr
(
Expr
*val,
Expr
*base)
LogExpr
(const
LogExpr
&expr)
LogExpr
*
clone
() const override
clone an
Expr
(abstract).
Expr
*
value
()
Expr
*
base
()
virtual void
accept
(
util::ExprVisitor
&v) override
The documentation for this class was generated from the following files:
log.h
expr_visitor.cc
All
Classes
Namespaces
Files
Functions
Generated by
1.7.6.1