spot  1.99.4
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Member Functions | Protected Attributes | List of all members
succ_iterable Class Reference
Collaboration diagram for succ_iterable:
Collaboration graph

Public Member Functions

 succ_iterable (const twa *aut, twa_succ_iterator *it)
 
 succ_iterable (succ_iterable &&other)
 
internal::succ_iterator begin ()
 
internal::succ_iterator end ()
 

Protected Attributes

const twa * aut_
 
twa_succ_iterator * it_
 

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu Oct 1 2015 05:49:14 for spot by doxygen 1.8.8