#include <bool.hpp>
Inheritance diagram for ilasynth::BoolExpr:
Public Member Functions | |
| 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 Node * | clone () const |
| virtual bool | equal (const Node *that) const |
| virtual std::ostream & | write (std::ostream &out) const |
| 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
◆ BoolExpr() [1/2]
| ilasynth::BoolExpr::BoolExpr | ( | ) |
◆ BoolExpr() [2/2]
| ilasynth::BoolExpr::BoolExpr | ( | NodeType | t | ) |
◆ ~BoolExpr()
|
virtual |
The documentation for this class was generated from the following file:
