ilasynth::ImExport Class Reference

#include <imexport.hpp>

Public Types
typedef std::map< std::string, nptr_t >	nref_map_t

Public Member Functions
	ImExport (FuncReduction *funcRedPtr, int reduce=0)
	~ImExport ()
void	exportAst (std::ostream &out, const Node *n)
nptr_t	importAst (Abstraction *c, std::istream &in)
nptr_t	mapFind (const std::string &name) const
void	mapInsert (const std::string &name, nptr_t nptr)
void	addMapVars (Abstraction *c)

Private Member Functions
char	nextChar (std::istream &in) const
std::string	next (std::istream &in) const
int	eatIdx (std::istream &in) const
BitvectorOp::Op	getBvOpType (const std::string &opName) const
BoolOp::Op	getBoolOpType (const std::string &opName) const
MemOp::Op	getMemOpType (const std::string &opName) const
void	exportMemValues (std::ostream &out, const MemValues &val)
MemValues	importMemValue (std::istream &in, int aw, int dw)

Private Attributes
nref_map_t	_nodeMap
FuncReduction *	FuncReductor
int	reduceWhenImport

Member Typedef Documentation

nref_map_t

typedef std::map<std::string, nptr_t> ilasynth::ImExport::nref_map_t

Constructor & Destructor Documentation

ImExport()

ilasynth::ImExport::ImExport	(	FuncReduction *	funcRedPtr,
		int	reduce = 0
	)

~ImExport()

ilasynth::ImExport::~ImExport

(

)

Member Function Documentation

addMapVars()

void ilasynth::ImExport::addMapVars

(

Abstraction *

c

)

eatIdx()

int ilasynth::ImExport::eatIdx ( std::istream &  in ) const

private

exportAst()

void ilasynth::ImExport::exportAst	(	std::ostream &	out,
		const Node *	n
	)

exportMemValues()

void ilasynth::ImExport::exportMemValues ( std::ostream &  out, const MemValues &  val  )

private

getBoolOpType()

BoolOp::Op ilasynth::ImExport::getBoolOpType ( const std::string &  opName ) const

private

getBvOpType()

BitvectorOp::Op ilasynth::ImExport::getBvOpType ( const std::string &  opName ) const

private

getMemOpType()

MemOp::Op ilasynth::ImExport::getMemOpType ( const std::string &  opName ) const

private

importAst()

nptr_t ilasynth::ImExport::importAst	(	Abstraction *	c,
		std::istream &	in
	)

importMemValue()

MemValues ilasynth::ImExport::importMemValue ( std::istream &  in, int  aw, int  dw  )

private

mapFind()

nptr_t ilasynth::ImExport::mapFind

(

const std::string &

name

)

const

mapInsert()

void ilasynth::ImExport::mapInsert	(	const std::string &	name,
		nptr_t	nptr
	)

next()

std::string ilasynth::ImExport::next ( std::istream &  in ) const

private

nextChar()

char ilasynth::ImExport::nextChar ( std::istream &  in ) const

private

Member Data Documentation

_nodeMap

nref_map_t ilasynth::ImExport::_nodeMap

private

FuncReductor

FuncReduction* ilasynth::ImExport::FuncReductor

private

reduceWhenImport

int ilasynth::ImExport::reduceWhenImport

private

---

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

• imexport.hpp