spot
1.99.4
|
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_ |