Public Member Functions | |
Automaton () | |
int | n_rules () |
const list< Rule > & | rules (int s) |
const list< Trans > & | trans (int s) |
bool | final (int s) |
void | build (State *st) |
Public Attributes | |
vector< State * > | state |
vector< Tree > | rhs |
int | s |
Definition at line 187 of file patternmatcher.cpp.
Automaton::Automaton | ( | ) | [inline] |
Definition at line 191 of file patternmatcher.cpp.
void Automaton::build | ( | State * | st | ) |
Definition at line 211 of file patternmatcher.cpp.
References isBoxInt(), isBoxReal(), State::match_num, s, State::s, state, and State::trans.
Referenced by make_pattern_matcher().
00212 { 00213 state.push_back(st); 00214 st->s = s++; 00215 list<Trans>::const_iterator t; 00216 for (t = st->trans.begin(); t != st->trans.end(); t++) { 00217 Tree x; 00218 double f; 00219 int i; 00220 if (t->is_cst_trans(x) && 00221 (isBoxInt(x, &i) || isBoxReal(x, &f))) 00222 st->match_num = true; 00223 build(t->state); 00224 } 00225 }
bool Automaton::final | ( | int | s | ) | [inline] |
Definition at line 200 of file patternmatcher.cpp.
Referenced by apply_pattern_matcher(), and make_pattern_matcher().
int Automaton::n_rules | ( | ) | [inline] |
Definition at line 194 of file patternmatcher.cpp.
References rhs.
Referenced by apply_pattern_matcher().
00194 { return rhs.size(); }
const list<Rule>& Automaton::rules | ( | int | s | ) | [inline] |
Definition at line 196 of file patternmatcher.cpp.
References state.
Referenced by add_subst(), apply_pattern_matcher(), and make_pattern_matcher().
const list<Trans>& Automaton::trans | ( | int | s | ) | [inline] |
Definition at line 198 of file patternmatcher.cpp.
References state.
Referenced by apply_pattern_matcher_internal(), and final().
vector<Tree> Automaton::rhs |
Definition at line 189 of file patternmatcher.cpp.
Referenced by apply_pattern_matcher(), make_pattern_matcher(), and n_rules().
int Automaton::s |
Definition at line 203 of file patternmatcher.cpp.
Referenced by build(), final(), and infereBoxType().
vector<State*> Automaton::state |
Definition at line 188 of file patternmatcher.cpp.
Referenced by apply_pattern_matcher_internal(), build(), rules(), and trans().