ilasynth::SMTExport Class Reference

#include <exportSMT.hpp>

Public Member Functions
	SMTExport ()
void	exportSMT (std::ofstream &out, const Node *n, const std::string &name, int width)
int	get_width (const Node *n)
bool	isStageVar (const std::string &inpName, const nstage_vec_t &stageStore)

Private Types
typedef std::pair< std::string, int >	nstage_t
typedef std::vector< nstage_t >	nstage_vec_t

Member Typedef Documentation

nstage_t

typedef std::pair<std::string, int> ilasynth::SMTExport::nstage_t

private

nstage_vec_t

typedef std::vector<nstage_t> ilasynth::SMTExport::nstage_vec_t

private

Constructor & Destructor Documentation

SMTExport()

ilasynth::SMTExport::SMTExport ( )

inline

Member Function Documentation

exportSMT()

void ilasynth::SMTExport::exportSMT	(	std::ofstream &	out,
		const Node *	n,
		const std::string &	name,
		int	width
	)

get_width()

int ilasynth::SMTExport::get_width

(

const Node *

n

)

isStageVar()

bool ilasynth::SMTExport::isStageVar	(	const std::string &	inpName,
		const nstage_vec_t &	stageStore
	)

---

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

• exportSMT.hpp