spot
2.7

Allow iterating over children. More...
#include <spot/tl/formula.hh>
Public Member Functions  
formula_child_iterator (const fnode *const *f)  
bool  operator== (formula_child_iterator o) 
bool  operator!= (formula_child_iterator o) 
formula  operator* () 
formula_child_iterator  operator++ () 
formula_child_iterator  operator++ (int) 
Allow iterating over children.