node.hpp File Reference

#include <iostream>
#include <memory>
#include <set>
#include <string>
#include <unordered_map>
#include <vector>
#include <assert.h>
#include <ilasynth/common.hpp>
#include <ilasynth/type.hpp>
#include <z3++.h>
#include <boost/multiprecision/cpp_int.hpp>
#include <boost/python.hpp>
#include <boost/shared_ptr.hpp>

Go to the source code of this file.

Classes
struct	ilasynth::npair_t
class	ilasynth::Node
struct	ilasynth::NodeVisitorI

Namespaces
	ilasynth

Typedefs
typedef boost::shared_ptr< Node >	ilasynth::nptr_t
typedef std::vector< nptr_t >	ilasynth::nptr_vec_t
typedef std::vector< const Node * >	ilasynth::nodevec_t
typedef std::set< const Node * >	ilasynth::nodeset_t
typedef std::map< std::string, npair_t >	ilasynth::nmap_t
typedef std::unordered_map< const Node *, nptr_t, decltype(&nodeHash), decltype(&nodeEqual)>	ilasynth::rwmap_t

Functions
std::ostream &	ilasynth::operator<< (std::ostream &out, const Node &that)
bool	ilasynth::nodeEqual (const Node *left, const Node *right)
size_t	ilasynth::nodeHash (const Node *n)