spot::formula::formula_child_iterator Class Reference

Allow iterating over children. More...

#include <spot/tl/formula.hh>

Collaboration diagram for spot::formula::formula_child_iterator:

Public Member Functions
	formula_child_iterator (const fnode *const *f)
	Construct from a raw fnode pointer array position. More...
bool	operator== (formula_child_iterator o)
	Iterator equality. More...
bool	operator!= (formula_child_iterator o)
	Iterator inequality. More...
formula	operator* ()
	Dereference to the child formula. More...
formula_child_iterator	operator++ ()
	Pre-increment. More...
formula_child_iterator	operator++ (int)
	Post-increment. More...

Detailed Description

Allow iterating over children.

Constructor & Destructor Documentation

formula_child_iterator()

spot::formula::formula_child_iterator::formula_child_iterator ( const fnode *const *  f )

inline

Construct from a raw fnode pointer array position.

Member Function Documentation

operator!=()

bool spot::formula::formula_child_iterator::operator!= ( formula_child_iterator  o )

inline

Iterator inequality.

operator*()

formula spot::formula::formula_child_iterator::operator* ( )

inline

Dereference to the child formula.

operator++() [1/2]

formula_child_iterator spot::formula::formula_child_iterator::operator++ ( )

inline

Pre-increment.

operator++() [2/2]

formula_child_iterator spot::formula::formula_child_iterator::operator++ ( int  )

inline

Post-increment.

operator==()

bool spot::formula::formula_child_iterator::operator== ( formula_child_iterator  o )

inline

Iterator equality.

---

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

• spot/tl/formula.hh