spot::edge_separator_filter< subsumed > Struct Template Reference

A filter for iterating over edge labels compatible with a given BDD condition. More...

#include <spot/twaalgos/split.hh>

Collaboration diagram for spot::edge_separator_filter< subsumed >:

Classes
class	iterator
	Iterator over edge labels compatible with the filter's BDD condition. More...

Public Member Functions
	edge_separator_filter (const std::vector< bdd > &labels, bdd cond)
	Construct a filter from the given label basis and condition.
iterator	begin () const
	Return an iterator to the first matching label.
std::vector< bdd >::const_iterator	end () const
	Return an iterator past the last label.

Detailed Description

template<bool subsumed>
struct spot::edge_separator_filter< subsumed >

A filter for iterating over edge labels compatible with a given BDD condition.

Constructor & Destructor Documentation

edge_separator_filter()

template<bool subsumed>

spot::edge_separator_filter< subsumed >::edge_separator_filter ( const std::vector< bdd > &  labels, bdd  cond  )

inline

Construct a filter from the given label basis and condition.

Member Function Documentation

begin()

template<bool subsumed>

iterator spot::edge_separator_filter< subsumed >::begin ( ) const

inline

Return an iterator to the first matching label.

end()

template<bool subsumed>

std::vector< bdd >::const_iterator spot::edge_separator_filter< subsumed >::end ( ) const

inline

Return an iterator past the last label.

---

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

• spot/twaalgos/split.hh