ACT Library
Loading...
Searching...
No Matches
Public Attributes | List of all members
act_refine Class Reference

The refinement sub-language just contains an ActBody. More...

#include <lang.h>

Public Attributes

ActBodyb
 the body of the refine { ... }
 

Detailed Description

The refinement sub-language just contains an ActBody.

Member Data Documentation

◆ b

ActBody* act_refine::b

the body of the refine { ... }


The documentation for this class was generated from the following file: