Class VarTabFactory

• Defined in File ptree.h

Inheritance Relationships

Derived Type

• public VAL::IDopTabFactory (Class IDopTabFactory)

Class Documentation

class VarTabFactory

Subclassed by VAL::IDopTabFactory

Public Functions

inline virtual ~VarTabFactory()

inline virtual var_symbol_table *buildPredTab()

inline virtual var_symbol_table *buildFuncTab()

inline virtual var_symbol_table *buildForallTab()

inline virtual var_symbol_table *buildExistsTab()

inline virtual var_symbol_table *buildRuleTab()

inline virtual var_symbol_table *buildOpTab()