ConstantTermEval Class Template Reference

This is the visitor that really computes the constant term. More...

Inheritance diagram for ConstantTermEval:

[legend]List of all members.

Public Types
typedef ConstantTermEval< Series, T, Dispatch >	self_t
typedef Element< Series, T >::semiring_elt_t	return_type
typedef Element< Series, T >::semiring_elt_t	semiring_elt_t
typedef semiring_elt_t::value_t	semiring_elt_value_t
typedef T::monoid_elt_value_t	monoid_elt_value_t
Public Member Functions
	ConstantTermEval (const Element< Series, T > &exp)
	MATCH__ (Product, lhs, rhs)
END	MATCH__ (Sum, lhs, rhs)
END	MATCH_ (Star, node)
END	MATCH__ (LeftWeight, w, node)
END	MATCH__ (RightWeight, node, w)
END	MATCH_ (Constant, m)
END	MATCH (Zero)
END	MATCH (One)
Element< Series, T >::semiring_elt_t	match (const T &ast)
	Effectively performs the match.
Public Attributes
END bool	undefined

---

Detailed Description

template<class Series, class T, class Dispatch>
class vcsn::ConstantTermEval< Series, T, Dispatch >

This is the visitor that really computes the constant term.

This class should be used only in constant_term() and should not be instanciated from elsewhere.

See also:

constant_term()

Definition at line 34 of file krat_exp_constant_term.hxx.

---

Member Function Documentation

Element< Series, T >::semiring_elt_t match

(

const T &

ast

)

[inherited]

Effectively performs the match.

Parameters:

ast

The object to perform the match on.

See also:

DispatchVisitor::DispatchVisitor

Referenced by vcsn::constant_term(), ConstantTermEval::MATCH_(), and ConstantTermEval::MATCH__().

---