P4C
The P4 Compiler
•All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Static Public Member Functions | List of all members
P4::Test::SmallStepTest Class Reference
Inheritance diagram for P4::Test::SmallStepTest:
[legend]

Static Public Member Functions

static ExecutionState mkState (Body body)
 Creates an execution state out of a continuation body.