|
spot
2.3.3.dev
|
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.
1.8.13