|
|
| Leaf () |
| | Default constructor for serialization.
|
| |
|
| Leaf (const Y &constant, size_t nrAssignments=1) |
| | Constructor from constant.
|
| |
|
const Y & | constant () const |
| | Return the constant.
|
| |
|
size_t | nrAssignments () const |
| | Return the number of assignments contained within this leaf.
|
| |
| bool | sameLeaf (const Leaf &q) const override |
| | Leaf-Leaf equality. More...
|
| |
| bool | sameLeaf (const Node &q) const override |
| | polymorphic equality: is q a leaf and is it the same as this leaf? More...
|
| |
| bool | equals (const Node &q, const CompareFunc &compare) const override |
| | equality up to tolerance More...
|
| |
| void | print (const std::string &s, const LabelFormatter &labelFormatter, const ValueFormatter &valueFormatter) const override |
| | print More...
|
| |
| void | dot (std::ostream &os, const LabelFormatter &labelFormatter, const ValueFormatter &valueFormatter, bool showZero) const override |
| | Write graphviz format to stream os. 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 (const UnaryAssignment &op, const Assignment< L > &assignment) const override |
| | Apply unary operator with assignment. 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 LabelFormatter &labelFormatter, const ValueFormatter &valueFormatter) const =0 |
| |
| virtual void | dot (std::ostream &os, const LabelFormatter &labelFormatter, const ValueFormatter &valueFormatter, 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, const CompareFunc &compare=&DefaultCompare) const =0 |
| |
| virtual const Y & | operator() (const Assignment< L > &x) const =0 |
| |
| virtual Ptr | apply (const Unary &op) const =0 |
| |
| virtual Ptr | apply (const UnaryAssignment &op, const Assignment< L > &assignment) 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 |
| |