|
| Leaf (const Y &constant) |
| Constructor from constant.
|
|
const Y & | constant () const |
| return the constant
|
|
bool | sameLeaf (const Leaf &q) const override |
| Leaf-Leaf equality. More...
|
|
bool | sameLeaf (const Node &q) const override |
| polymorphic equality: is q is a leaf, could be More...
|
|
bool | equals (const Node &q, double tol) const override |
| equality up to tolerance More...
|
|
void | print (const std::string &s) const override |
| print More...
|
|
void | dot (std::ostream &os, bool showZero) const override |
| to graphviz file More...
|
|
const Y & | operator() (const Assignment< L > &x) const override |
| evaluate More...
|
|
NodePtr | apply (const Unary &op) const override |
| apply unary operator More...
|
|
NodePtr | apply_f_op_g (const Node &g, const Binary &op) const override |
|
NodePtr | apply_g_op_fL (const Leaf &fL, const Binary &op) const override |
|
NodePtr | apply_g_op_fC (const Choice &fC, const Binary &op) const override |
|
NodePtr | choose (const L &label, size_t index) const override |
| choose a branch, create new memory ! More...
|
|
bool | isLeaf () const override |
|
const void * | id () const |
|
virtual void | print (const std::string &s="") const =0 |
|
virtual void | dot (std::ostream &os, bool showZero) const =0 |
|
virtual bool | sameLeaf (const Leaf &q) const =0 |
|
virtual bool | sameLeaf (const Node &q) const =0 |
|
virtual bool | equals (const Node &other, double tol=1e-9) const =0 |
|
virtual const Y & | operator() (const Assignment< L > &x) const =0 |
|
virtual Ptr | apply (const Unary &op) const =0 |
|
virtual Ptr | apply_f_op_g (const Node &, const Binary &) const =0 |
|
virtual Ptr | apply_g_op_fL (const Leaf &, const Binary &) const =0 |
|
virtual Ptr | apply_g_op_fC (const Choice &, const Binary &) const =0 |
|
virtual Ptr | choose (const L &label, size_t index) const =0 |
|
virtual bool | isLeaf () const =0 |
|