ilasynth  1.0
ILASynth: Template-based ILA Synthesis Engine
Public Member Functions | List of all members
ilasynth::BoolVar Class Reference

#include <bool.hpp>

Inheritance diagram for ilasynth::BoolVar:
ilasynth::BoolExpr ilasynth::Node

Public Member Functions

 BoolVar (const std::string &name)
 
virtual ~BoolVar ()
 
virtual Nodeclone () 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)

◆ ~BoolVar()

virtual ilasynth::BoolVar::~BoolVar ( )
virtual

Member Function Documentation

◆ clone()

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

Reimplemented from ilasynth::Node.

◆ equal()

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

Reimplemented from ilasynth::Node.

◆ write()

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: