ilasynth::Rewriter Class Reference

#include <rewriter.hpp>

Public Member Functions
	Rewriter ()
	~Rewriter ()
void	operator() (const Node *n)
nptr_t	rewrite (const Node *n)
void	addRewrite (const Node *n, const nptr_t &nprime)

Protected Member Functions
void	getNewArgs (const Node *n, nptr_vec_t &args)
nptr_t	getRepl (const Node *n) const
void	doRewrite (const Node *n)

Protected Attributes
rwmap_t	rwmap

Constructor & Destructor Documentation

Rewriter()

ilasynth::Rewriter::Rewriter

(

)

~Rewriter()

ilasynth::Rewriter::~Rewriter

(

)

Member Function Documentation

addRewrite()

void ilasynth::Rewriter::addRewrite	(	const Node *	n,
		const nptr_t &	nprime
	)

doRewrite()

void ilasynth::Rewriter::doRewrite ( const Node *  n )

protected

getNewArgs()

void ilasynth::Rewriter::getNewArgs ( const Node *  n, nptr_vec_t &  args  )

protected

getRepl()

nptr_t ilasynth::Rewriter::getRepl ( const Node *  n ) const

protected

operator()()

void ilasynth::Rewriter::operator()

(

const Node *

n

)

rewrite()

nptr_t ilasynth::Rewriter::rewrite

(

const Node *

n

)

Member Data Documentation

rwmap

rwmap_t ilasynth::Rewriter::rwmap

protected

---

The documentation for this class was generated from the following file:

• rewriter.hpp