Class IDopTabFactory

• Defined in File FastEnvironment.h

Inheritance Relationships

Base Type

• public VAL::VarTabFactory (Class VarTabFactory)

Class Documentation

class IDopTabFactory : public VAL::VarTabFactory

Public Functions

inline virtual var_symbol_table *buildOpTab()

inline virtual var_symbol_table *buildRuleTab()

inline virtual var_symbol_table *buildExistsTab()

inline virtual var_symbol_table *buildForallTab()