Public Member Functions | |
Trans (Tree _x) | |
Trans (const Node &_n, int _arity) | |
Trans (const Trans &trans) | |
~Trans () | |
Trans & | operator= (const Trans &trans) |
bool | is_var_trans () const |
bool | is_cst_trans (Tree &_x) const |
bool | is_op_trans (Node &_n) const |
bool | operator== (const Trans &trans) const |
bool | operator< (const Trans &trans) const |
Public Attributes | |
Tree | x |
Node | n |
int | arity |
State * | state |
Definition at line 101 of file patternmatcher.cpp.
Trans::Trans | ( | Tree | _x | ) |
Trans::Trans | ( | const Node & | _n, | |
int | _arity | |||
) |
Trans::Trans | ( | const Trans & | trans | ) |
Trans::~Trans | ( | ) |
Definition at line 173 of file patternmatcher.cpp.
References state.
00174 { 00175 delete state; 00176 }
bool Trans::is_cst_trans | ( | Tree & | _x | ) | const [inline] |
bool Trans::is_op_trans | ( | Node & | _n | ) | const [inline] |
bool Trans::is_var_trans | ( | ) | const [inline] |
bool Trans::operator< | ( | const Trans & | trans | ) | const [inline] |
bool Trans::operator== | ( | const Trans & | trans | ) | const [inline] |
int Trans::arity |
Definition at line 104 of file patternmatcher.cpp.
Referenced by is_cst_trans(), is_op_trans(), is_var_trans(), operator<(), operator=(), and operator==().
Definition at line 103 of file patternmatcher.cpp.
Referenced by is_op_trans(), operator<(), operator=(), and operator==().
Definition at line 105 of file patternmatcher.cpp.
Referenced by operator=(), Trans(), and ~Trans().
Definition at line 102 of file patternmatcher.cpp.
Referenced by is_cst_trans(), is_var_trans(), operator<(), operator=(), and operator==().