#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. |