ilasynth::BVInRange Class Reference

#include <bvinrange.hpp>

Inheritance diagram for ilasynth::BVInRange:

Public Member Functions
	BVInRange (const std::string &name, const nptr_t &lo, const nptr_t &hi)
	BVInRange (const BVInRange &that)
virtual	~BVInRange ()
virtual Node *	clone () const
virtual bool	equal (const Node *that) const
virtual std::ostream &	write (std::ostream &out) const
virtual unsigned	nArgs () const
virtual nptr_t	arg (unsigned i) 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 py::object	getValue () const
virtual bool	isConstant () const
template<class F >
void	depthFirstVisit (F &func) const
void	getSupportVars (nodeset_t &sup)
void	visit (NodeVisitorI &vi)
bool	hasSynthesisConstructs () const

Protected Attributes
nptr_t	lo
nptr_t	hi
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

BVInRange() [1/2]

ilasynth::BVInRange::BVInRange	(	const std::string &	name,
		const nptr_t &	lo,
		const nptr_t &	hi
	)

BVInRange() [2/2]

ilasynth::BVInRange::BVInRange

(

const BVInRange &

that

)

~BVInRange()

virtual ilasynth::BVInRange::~BVInRange ( )

virtual

Member Function Documentation

arg()

virtual nptr_t ilasynth::BVInRange::arg ( unsigned  i ) const

virtual

Reimplemented from ilasynth::Node.

clone()

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

virtual

Reimplemented from ilasynth::Node.

equal()

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

virtual

Reimplemented from ilasynth::Node.

nArgs()

virtual unsigned ilasynth::BVInRange::nArgs ( ) const

virtual

Reimplemented from ilasynth::Node.

write()

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

virtual

Reimplemented from ilasynth::Node.

Member Data Documentation

hi

nptr_t ilasynth::BVInRange::hi

protected

lo

nptr_t ilasynth::BVInRange::lo

protected

---

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

• bvinrange.hpp