Generated on Thu Feb 21 2013 23:11:55 for Gecode by doxygen 1.8.3.1
Gecode::DFA::Transitions Class Reference

Iterator for DFA transitions (sorted by symbols) More...

#include <int.hh>

Public Member Functions

 Transitions (const DFA &d)
 Initialize to all transitions of DFA d. More...
 
 Transitions (const DFA &d, int n)
 Initialize to transitions of DFA d for symbol n. More...
 
bool operator() (void) const
 Test whether iterator still at a transition. More...
 
void operator++ (void)
 Move iterator to next transition. More...
 
int i_state (void) const
 Return in-state of current transition. More...
 
int symbol (void) const
 Return symbol of current transition. More...
 
int o_state (void) const
 Return out-state of current transition. More...
 

Detailed Description

Iterator for DFA transitions (sorted by symbols)

Definition at line 1761 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 162 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 173 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 188 of file dfa.hpp.

void Gecode::DFA::Transitions::operator++ ( void  )
inline

Move iterator to next transition.

Definition at line 193 of file dfa.hpp.

int Gecode::DFA::Transitions::i_state ( void  ) const
inline

Return in-state of current transition.

Definition at line 198 of file dfa.hpp.

int Gecode::DFA::Transitions::symbol ( void  ) const
inline

Return symbol of current transition.

Definition at line 203 of file dfa.hpp.

int Gecode::DFA::Transitions::o_state ( void  ) const
inline

Return out-state of current transition.

Definition at line 208 of file dfa.hpp.


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