Automaton Struct Reference

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

Detailed Description

Definition at line 187 of file patternmatcher.cpp.

Constructor & Destructor Documentation

Automaton::Automaton ( )

inline

Definition at line 191 of file patternmatcher.cpp.

: state(vector<State*>()), rhs(vector<Tree>()), s(0) {}

Member Function Documentation

void Automaton::build

(

State *

st

)

Definition at line 211 of file patternmatcher.cpp.

References isBoxInt(), isBoxReal(), State::match_num, State::s, s, state, and State::trans.

Referenced by make_pattern_matcher().

{
  state.push_back(st);
  st->s = s++;
  list<Trans>::const_iterator t;
  for (t = st->trans.begin(); t != st->trans.end(); t++) {
    Tree x;
    double f; 
    int i;
    if (t->is_cst_trans(x) &&
    (isBoxInt(x, &i) || isBoxReal(x, &f)))
      st->match_num = true;
    build(t->state);
  }
}

Here is the call graph for this function:

Here is the caller graph for this function:

bool Automaton::final ( int  s )

inline

Definition at line 200 of file patternmatcher.cpp.

References s, and trans().

Referenced by apply_pattern_matcher(), and make_pattern_matcher().

{ return trans(s).empty(); }

Here is the call graph for this function:

Here is the caller graph for this function:

int Automaton::n_rules ( )

inline

Definition at line 194 of file patternmatcher.cpp.

References rhs.

Referenced by apply_pattern_matcher().

{ return (int)rhs.size(); }

Here is the caller graph for this function:

const list<Rule>& Automaton::rules ( int  s )

inline

Definition at line 196 of file patternmatcher.cpp.

References s, and state.

Referenced by add_subst(), apply_pattern_matcher(), and make_pattern_matcher().

{ return state[s]->rules; }

Here is the caller graph for this function:

const list<Trans>& Automaton::trans ( int  s )

inline

Definition at line 198 of file patternmatcher.cpp.

References s, and state.

Referenced by apply_pattern_matcher_internal(), and final().

{ return state[s]->trans; }

Here is the caller graph for this function:

Member Data Documentation

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(), infereBoxType(), rules(), and trans().

vector<State*> Automaton::state

Definition at line 188 of file patternmatcher.cpp.

Referenced by apply_pattern_matcher_internal(), build(), rules(), and trans().

---

The documentation for this struct was generated from the following file:

• patternmatcher.cpp