Generated on Tue May 22 09:40:53 2018 for Gecode by doxygen 1.6.3

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 in-state of current transition.
int symbol (void) const
 Return symbol of current transition.
int o_state (void) const
 Return out-state of current transition.

Detailed Description

Iterator for DFA transitions (sorted by symbols).

Definition at line 2043 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 213 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 224 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 239 of file dfa.hpp.

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

Move iterator to next transition.

Definition at line 244 of file dfa.hpp.

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

Return in-state of current transition.

Definition at line 249 of file dfa.hpp.

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

Return symbol of current transition.

Definition at line 254 of file dfa.hpp.

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

Return out-state of current transition.

Definition at line 259 of file dfa.hpp.


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