Inferno  0.2
Steps::AddStateLabelVar Class Reference

#include <state_out.hpp>

Inheritance diagram for Steps::AddStateLabelVar:
[legend]
Collaboration diagram for Steps::AddStateLabelVar:
[legend]

List of all members.

Public Member Functions

 AddStateLabelVar ()

Detailed Description

Add a variable for the current state as a label variable, and use it for the gotos.

Definition at line 51 of file state_out.hpp.


Constructor & Destructor Documentation

Definition at line 221 of file state_out.cpp.


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