ilasynth::BoolConst Class Reference

#include <bool.hpp>

Inheritance diagram for ilasynth::BoolConst:

Public Member Functions
virtual	~BoolConst ()
virtual Node *	clone () const
virtual bool	equal (const Node *that) const
virtual boost::python::object	getValue () const
virtual std::ostream &	write (std::ostream &out) const
bool	val () const
Public Member Functions inherited from ilasynth::BoolExpr
	BoolExpr ()
	BoolExpr (NodeType t)
virtual	~BoolExpr ()
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

Static Public Member Functions
static nptr_t	get (bool v)
Static Public Member Functions inherited from ilasynth::Node
static nptr_t	ite (const nptr_t &cond, const nptr_t &t, const nptr_t &f)

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

Static Protected Attributes
static nptr_t	true_node
static nptr_t	false_node

Private Member Functions
	BoolConst (bool value)
	BoolConst (int value)
	BoolConst (const mp_int_t &l)

Additional Inherited Members
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

BoolConst() [1/3]

ilasynth::BoolConst::BoolConst ( bool  value )

private

BoolConst() [2/3]

ilasynth::BoolConst::BoolConst ( int  value )

private

BoolConst() [3/3]

ilasynth::BoolConst::BoolConst ( const mp_int_t &  l )

private

~BoolConst()

virtual ilasynth::BoolConst::~BoolConst ( )

virtual

Member Function Documentation

clone()

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

virtual

Reimplemented from ilasynth::Node.

equal()

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

virtual

Reimplemented from ilasynth::Node.

get()

static nptr_t ilasynth::BoolConst::get ( bool  v )

inlinestatic

getValue()

virtual boost::python::object ilasynth::BoolConst::getValue ( ) const

virtual

Reimplemented from ilasynth::Node.

val()

bool ilasynth::BoolConst::val ( ) const

inline

write()

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

virtual

Reimplemented from ilasynth::Node.

Member Data Documentation

false_node

nptr_t ilasynth::BoolConst::false_node

staticprotected

true_node

nptr_t ilasynth::BoolConst::true_node

staticprotected

value

bool ilasynth::BoolConst::value

protected

---

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

• bool.hpp