Gecode::DFA::Transitions Class Reference
#include <int.hh>
List of all members.
Detailed Description
Iterator for DFA transitions (sorted by symbols).
Definition at line 1497 of file int.hh.

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.

Constructor & Destructor Documentation
Gecode::DFA::Transitions::Transitions 
( 
const DFA & 
d 
) 
[inline] 
Initialize to all transitions of DFA d.
Definition at line 153 of file dfa.icc.
Gecode::DFA::Transitions::Transitions 
( 
const DFA & 
d, 


int 
n  

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

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

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

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

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

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