arity | Trans | |
is_cst_trans(Tree &_x) const | Trans | [inline] |
is_op_trans(Node &_n) const | Trans | [inline] |
is_var_trans() const | Trans | [inline] |
n | Trans | |
operator<(const Trans &trans) const | Trans | [inline] |
operator=(const Trans &trans) | Trans | |
operator==(const Trans &trans) const | Trans | [inline] |
state | Trans | |
Trans(Tree _x) | Trans | |
Trans(const Node &_n, int _arity) | Trans | |
Trans(const Trans &trans) | Trans | |
x | Trans | |
~Trans() | Trans |