ilasynth
1.0
ILASynth: Template-based ILA Synthesis Engine
ilasynth
BoolConst
ilasynth::BoolConst Member List
This is the complete list of members for
ilasynth::BoolConst
, including all inherited members.
_getSupportVarsHelper
(nodeset_t &supp, const Node *n)
ilasynth::Node
protected
static
arg
(unsigned i) const
ilasynth::Node
virtual
BoolConst
(bool value)
ilasynth::BoolConst
private
BoolConst
(int value)
ilasynth::BoolConst
private
BoolConst
(const mp_int_t &l)
ilasynth::BoolConst
private
BoolExpr
()
ilasynth::BoolExpr
BoolExpr
(NodeType t)
ilasynth::BoolExpr
clone
() const
ilasynth::BoolConst
virtual
depthFirstVisit
(F &func) const
ilasynth::Node
inline
equal
(const Node *that) const
ilasynth::BoolConst
virtual
false_node
ilasynth::BoolConst
protected
static
get
(bool v)
ilasynth::BoolConst
inline
static
getId
()
ilasynth::Node
inline
getName
()
ilasynth::Node
inline
getName
() const
ilasynth::Node
inline
getRefName
() const
ilasynth::Node
inline
getSupportVars
(nodeset_t &sup)
ilasynth::Node
getType
()
ilasynth::Node
inline
getValue
() const
ilasynth::BoolConst
virtual
hash_inited
ilasynth::Node
mutable
protected
hash_value
ilasynth::Node
mutable
protected
hasSynthesisConstructs
() const
ilasynth::Node
id
ilasynth::Node
protected
isConstant
() const
ilasynth::Node
virtual
ite
(const nptr_t &cond, const nptr_t &t, const nptr_t &f)
ilasynth::Node
static
name
ilasynth::Node
protected
nArgs
() const
ilasynth::Node
virtual
Node
()
ilasynth::Node
Node
(NodeType t)
ilasynth::Node
refName
ilasynth::Node
protected
setRefName
(const std::string &refN)
ilasynth::Node
inline
true_node
ilasynth::BoolConst
protected
static
type
ilasynth::Node
val
() const
ilasynth::BoolConst
inline
value
ilasynth::BoolConst
protected
visit
(NodeVisitorI &vi)
ilasynth::Node
write
(std::ostream &out) const
ilasynth::BoolConst
virtual
~BoolConst
()
ilasynth::BoolConst
virtual
~BoolExpr
()
ilasynth::BoolExpr
virtual
~Node
()
ilasynth::Node
virtual
Generated by
1.8.15