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 (**???)
static bool	isSpecialStateDirMem (const std::string &c)
	a function to determine if a state map refstr is special directie (**???)
static bool	isSpecialUnknownFunctionName (const std::string &funcname)
	a function to determine if a function name is an unknown special directive
static bool	isSpecialUnknownFunction (const FuncPtr &func_ptr)
	a function to determine if a function (no arg) is an unknown special directive

Detailed Description

a class to handle state-mapping directives in the refinement relations

---

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

• directive.h