ACT Library
|
The refinement sub-language just contains an ActBody. More...
#include <lang.h>
Public Attributes | |
ActBody * | b |
the body of the refine { ... } | |
The refinement sub-language just contains an ActBody.
ActBody* act_refine::b |
the body of the refine { ... }