#include <bool.hpp>

Inheritance diagram for ilasynth::BoolVar:

Public Member Functions
	BoolVar (const std::string &name)

virtual	~BoolVar ()

virtual Node *	clone () const

virtual bool	equal (const Node *that) const

virtual std::ostream &	write (std::ostream &out) 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 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)

virtual unsigned	nArgs () const

virtual nptr_t	arg (unsigned i) const

bool	hasSynthesisConstructs () const

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)

Protected Attributes inherited from ilasynth::Node
std::string	name

std::string	refName

const int	id

bool	hash_inited

size_t	hash_value

Constructor & Destructor Documentation

◆ BoolVar()

ilasynth::BoolVar::BoolVar ( const std::string & name )

virtual ilasynth::BoolVar::~BoolVar ( )

virtual

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

virtual

Reimplemented from ilasynth::Node.

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

virtual

Reimplemented from ilasynth::Node.

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

virtual

Reimplemented from ilasynth::Node.

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