Gecode::DFA::Transitions Class Reference
Iterator for DFA transitions (sorted by symbols).
More...
#include <int.hh>
List of all members.
Public Member Functions 
 Transitions (const DFA &d) 
 Initialize to all transitions of DFA d.

 Transitions (const DFA &d, int n) 
 Initialize to transitions of DFA d for symbol n.

bool  operator() (void) const 
 Test whether iterator still at a transition.

void  operator++ (void) 
 Move iterator to next transition.

int  i_state (void) const 
 Return instate of current transition.

int  symbol (void) const 
 Return symbol of current transition.

int  o_state (void) const 
 Return outstate of current transition.

Detailed Description
Iterator for DFA transitions (sorted by symbols).
Definition at line 2051 of file int.hh.
Constructor & Destructor Documentation
Gecode::DFA::Transitions::Transitions 
( 
const DFA & 
d 
) 
[inline] 
Initialize to all transitions of DFA d.
Definition at line 173 of file dfa.hpp.
Gecode::DFA::Transitions::Transitions 
( 
const DFA & 
d, 


int 
n  

) 
  [inline] 
Initialize to transitions of DFA d for symbol n.
Definition at line 184 of file dfa.hpp.
Member Function Documentation
bool Gecode::DFA::Transitions::operator() 
( 
void 

) 
const [inline] 
Test whether iterator still at a transition.
Definition at line 199 of file dfa.hpp.
void Gecode::DFA::Transitions::operator++ 
( 
void 

) 
[inline] 
Move iterator to next transition.
Definition at line 204 of file dfa.hpp.
int Gecode::DFA::Transitions::i_state 
( 
void 

) 
const [inline] 
Return instate of current transition.
Definition at line 209 of file dfa.hpp.
int Gecode::DFA::Transitions::symbol 
( 
void 

) 
const [inline] 
Return symbol of current transition.
Definition at line 214 of file dfa.hpp.
int Gecode::DFA::Transitions::o_state 
( 
void 

) 
const [inline] 
Return outstate of current transition.
Definition at line 219 of file dfa.hpp.
The documentation for this class was generated from the following files: