ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Static Public Member Functions | List of all members
ilang::StateMappingDirectiveRecorder Class Reference

a class to handle state mapping directives in the refinement relations More...

#include <directive.h>

Static Public Member Functions

static bool isSpecialStateDir (const std::string &c)
 a function to determine if a state map refstr is special directie (**???)
 

Detailed Description

a class to handle state mapping directives in the refinement relations


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