boost::serialization::access (defined in sail::Symbol) | sail::Symbol | [friend] |
get_original_node()=0 (defined in sail::Symbol) | sail::Symbol | [pure virtual] |
get_type()=0 (defined in sail::Symbol) | sail::Symbol | [pure virtual] |
is_constant()=0 (defined in sail::Symbol) | sail::Symbol | [pure virtual] |
is_temp() (defined in sail::Symbol) | sail::Symbol | [virtual] |
is_variable()=0 (defined in sail::Symbol) | sail::Symbol | [pure virtual] |
Symbol() (defined in sail::Symbol) | sail::Symbol | |
to_string() const =0 (defined in sail::Symbol) | sail::Symbol | [pure virtual] |
to_string(bool print_original) const =0 (defined in sail::Symbol) | sail::Symbol | [pure virtual] |
~Symbol() (defined in sail::Symbol) | sail::Symbol | [virtual] |