ilasynth::BitvectorConst Class Reference

#include <bitvec.hpp>

Inheritance diagram for ilasynth::BitvectorConst:

Public Member Functions
	BitvectorConst (const mp_int_t &v, int width)
	BitvectorConst (unsigned int v, int width)
	BitvectorConst (const BitvectorConst &other)
virtual	~BitvectorConst ()
virtual Node *	clone () const
virtual bool	equal (const Node *that) const
const mp_int_t &	val () const
virtual py::object	getValue () const
virtual std::ostream &	write (std::ostream &out) const
std::string	vstr () const
Public Member Functions inherited from ilasynth::BitvectorExpr
	BitvectorExpr (int width)
	BitvectorExpr (NodeType t)
virtual	~BitvectorExpr ()
Public Member Functions inherited from ilasynth::Node
	Node ()
	Node (NodeType t)
virtual	~Node ()
std::string &	getName ()
const std::string &	getName () const
const std::string &	getRefName () const
void	setRefName (const std::string &refN)
int	getId ()
NodeType	getType ()
virtual bool	isConstant () const
template<class F >
void	depthFirstVisit (F &func) const
void	getSupportVars (nodeset_t &sup)
void	visit (NodeVisitorI &vi)
virtual unsigned	nArgs () const
virtual nptr_t	arg (unsigned i) const
bool	hasSynthesisConstructs () const

Protected Attributes
mp_int_t	value
Protected Attributes inherited from ilasynth::Node
std::string	name
std::string	refName
const int	id
bool	hash_inited
size_t	hash_value

Additional Inherited Members
Static Public Member Functions inherited from ilasynth::Node
static nptr_t	ite (const nptr_t &cond, const nptr_t &t, const nptr_t &f)
Public Attributes inherited from ilasynth::Node
NodeType	type
Static Protected Member Functions inherited from ilasynth::Node
static void	_getSupportVarsHelper (nodeset_t &supp, const Node *n)

Constructor & Destructor Documentation

BitvectorConst() [1/3]

ilasynth::BitvectorConst::BitvectorConst	(	const mp_int_t &	v,
		int	width
	)

BitvectorConst() [2/3]

ilasynth::BitvectorConst::BitvectorConst	(	unsigned int	v,
		int	width
	)

BitvectorConst() [3/3]

ilasynth::BitvectorConst::BitvectorConst

(

const BitvectorConst &

other

)

~BitvectorConst()

virtual ilasynth::BitvectorConst::~BitvectorConst ( )

virtual

Member Function Documentation

clone()

virtual Node* ilasynth::BitvectorConst::clone ( ) const

virtual

Reimplemented from ilasynth::Node.

equal()

virtual bool ilasynth::BitvectorConst::equal ( const Node *  that ) const

virtual

Reimplemented from ilasynth::Node.

getValue()

virtual py::object ilasynth::BitvectorConst::getValue ( ) const

virtual

Reimplemented from ilasynth::Node.

val()

const mp_int_t& ilasynth::BitvectorConst::val ( ) const

inline

vstr()

std::string ilasynth::BitvectorConst::vstr ( ) const

inline

write()

virtual std::ostream& ilasynth::BitvectorConst::write ( std::ostream &  out ) const

virtual

Reimplemented from ilasynth::Node.

Member Data Documentation

value

mp_int_t ilasynth::BitvectorConst::value

protected

---

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

• bitvec.hpp