Trans Struct Reference

Collaboration diagram for Trans:

List of all members.

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

---

Detailed Description

Definition at line 101 of file patternmatcher.cpp.

---

Constructor & Destructor Documentation

Trans::Trans

(

Tree

_x

)

Definition at line 157 of file patternmatcher.cpp.

                    :
  x(_x), n(0), arity(0), state(new State)
{
}

Trans::Trans	(	const Node &	_n,
		int	_arity
	)

Definition at line 162 of file patternmatcher.cpp.

                                       :
  x(NULL), n(_n), arity(_arity), state(new State)
{
}

Trans::Trans

(

const Trans &

trans

)

Definition at line 167 of file patternmatcher.cpp.

References state.

                               :
  x(trans.x), n(trans.n), arity(trans.arity)
{
  state = new State(*trans.state);
}

Trans::~Trans

(

)

Definition at line 173 of file patternmatcher.cpp.

References state.

{
  delete state;
}

---

Member Function Documentation

bool Trans::is_cst_trans

(

Tree &

_x

)

const [inline]

Definition at line 115 of file patternmatcher.cpp.

{ _x = x; return arity == 0 && x != NULL; }

bool Trans::is_op_trans

(

Node &

_n

)

const [inline]

Definition at line 116 of file patternmatcher.cpp.

{ _n = n; return arity > 0; }

bool Trans::is_var_trans

(

)

const [inline]

Definition at line 114 of file patternmatcher.cpp.

{ return arity == 0 && x == NULL; }

bool Trans::operator<

(

const Trans &

trans

)

const [inline]

Definition at line 120 of file patternmatcher.cpp.

References arity, Node::getSym(), n, and x.

  { return (arity < trans.arity) ? 1 :
      (arity > trans.arity) ? 0 :
      (arity == 0) ? (x < trans.x) :
      (n.getSym() < trans.n.getSym()); }

Here is the call graph for this function:

Trans & Trans::operator=

(

const Trans &

trans

)

Definition at line 178 of file patternmatcher.cpp.

References arity, n, state, and x.

{
  x = trans.x; n = trans.n; arity = trans.arity;
  state = new State(*trans.state);
  return *this;
}

bool Trans::operator==

(

const Trans &

trans

)

const [inline]

Definition at line 118 of file patternmatcher.cpp.

References arity, n, and x.

  { return arity == trans.arity && x == trans.x && n == trans.n; }

---

Member Data Documentation

int Trans::arity

Definition at line 104 of file patternmatcher.cpp.

Referenced by operator<(), operator=(), and operator==().

Node Trans::n

Definition at line 103 of file patternmatcher.cpp.

Referenced by operator<(), operator=(), and operator==().

State* Trans::state

Definition at line 105 of file patternmatcher.cpp.

Referenced by operator=(), Trans(), and ~Trans().

Tree Trans::x

Definition at line 102 of file patternmatcher.cpp.

Referenced by operator<(), operator=(), and operator==().

---

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

• patternmatcher.cpp