succiter.hh 492 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#ifndef SPOT_TGBA_SUCCITER_H
# define SPOT_TGBA_SUCCITER_H

#include "statebdd.hh"

namespace spot
{

  class tgba_succ_iterator
  {
  public:
    virtual 
    ~tgba_succ_iterator() 
    {
    }
    
    // iteration
    virtual void first() = 0;
    virtual void next() = 0;
    virtual bool done() = 0;
    
    // inspection
    virtual state_bdd current_state() = 0;
    virtual bdd current_condition() = 0;
    virtual bdd current_promise() = 0;
  };

}


#endif // SPOT_TGBA_SUCCITER_H