Go to the source code of this file.
Classes
Namespaces
Defines
Functions
- template<typename C , typename V > nat hash (const symbol< C, V > &s)
- template<typename C , typename V > bool operator== (const symbol< C, V > &s1, const symbol< C, V > &s2)
- template<typename C , typename V > bool operator!= (const symbol< C, V > &s1, const symbol< C, V > &s2)
- template<typename C , typename V > nat exact_hash (const symbol< C, V > &s)
- template<typename C , typename V > bool exact_eq (const symbol< C, V > &s1, const symbol< C, V > &s2)
- template<typename C , typename V > bool exact_neq (const symbol< C, V > &s1, const symbol< C, V > &s2)
- INDIRECT_IMPL_2 (symbol, symbol_rep, typename C, C, typename V, V) template<> struct symbolic_type_information< symbol< string > >
- template<typename C > nat hash (const symbol< C, equal_table > &s)
- template<typename C > bool operator== (const symbol< C, equal_table > &s1, const symbol< C, equal_table > &s2)
- template<typename C > bool operator!= (const symbol< C, equal_table > &s1, const symbol< C, equal_table > &s2)
- template<typename C , typename V > void show_symbol_entries ()
- template<typename C , typename V > syntactic flatten (const symbol< C, V > &s)
Detailed Description
Definition in file symbol.hpp.
Define Documentation
#define Symbol_rep symbol_rep<C,V> |
#define TMPL template<typename C, typename V> |