Class pred_symbol
Defined in File ptree.h
Inheritance Relationships
Base Type
public VAL::symbol(Class symbol)
Derived Types
public VAL::extended_pred_symbol(Class extended_pred_symbol)public VAL::extended_pred_symbol(Class extended_pred_symbol)public VAL::holding_pred_symbol(Class holding_pred_symbol)
Class Documentation
-
class pred_symbol : public VAL::symbol
Subclassed by VAL::extended_pred_symbol, VAL::extended_pred_symbol, VAL::holding_pred_symbol
Public Functions
-
inline pred_symbol(const string &s)
-
inline virtual ~pred_symbol()
-
virtual void visit(VisitController *v) const
-
inline pred_symbol(const string &s)