#include <dfa_profile.hh>
Public Methods | |
| DfaStateProfile (BasicDfaSpec::State &s) | |
| bool | read (istream &is) |
| void | reset () |
| unsigned long int | operator[] (int i) |
| int | size () |
Private Attributes | |
| vector<unsigned long int> | freqs |
|
|
Definition at line 55 of file dfa_profile.cc. |
|
|
Definition at line 82 of file dfa_profile.cc. Referenced by BasicDfaProfile::read().
|
|
|
Definition at line 104 of file dfa_profile.cc. Referenced by BasicDfaProfile::reset().
|
|
|
Definition at line 56 of file dfa_profile.hh. |
|
|
Definition at line 63 of file dfa_profile.hh. Referenced by DfaStateProfile(), operator[](), BasicDfaProfile::read(), BasicDfaProfile::reset(), and BasicDfaProfile::size().
|
|
|
Definition at line 70 of file dfa_profile.hh. |
1.2.8.1 written by Dimitri van Heesch,
© 1997-2001