Source

z3 / src / util / dictionary.h

Full commit
/*++
Copyright (c) 2011 Microsoft Corporation

Module Name:

    dictionary.h

Abstract:

Author:

    Leonardo (leonardo) 2011-03-01

Notes:

--*/
#ifndef _DICTIONARY_H_
#define _DICTIONARY_H_

#include"map.h"
#include"symbol.h"

template<typename T>
class dictionary : public map<symbol, T, symbol_hash_proc, symbol_eq_proc> {
public:
    dictionary() {}
};

#endif