
 Leaf (const Y &constant) 
 Constructor from constant.


const Y &  constant () const 
 return the constant


bool  sameLeaf (const Leaf &q) const 
 LeafLeaf equality.


bool  sameLeaf (const Node &q) const 
 polymorphic equality: is q is a leaf, could be


bool  equals (const Node &q, double tol) const 
 equality up to tolerance


void  print (const std::string &s) const 
 print


void  dot (std::ostream &os, bool showZero) const 
 to graphviz file


const Y &  operator() (const Assignment< L > &x) const 
 evaluate


NodePtr  apply (const Unary &op) const 
 apply unary operator


NodePtr  apply_f_op_g (const Node &g, const Binary &op) const 

NodePtr  apply_g_op_fL (const Leaf &fL, const Binary &op) const 

NodePtr  apply_g_op_fC (const Choice &fC, const Binary &op) const 

NodePtr  choose (const L &label, size_t index) const 
 choose a branch, create new memory !


bool  isLeaf () const 

const void *  id () const 


typedef boost::shared_ptr< const Node >  Ptr 

The documentation for this class was generated from the following file: