awali::dyn::abstract_ratexp_t Class Reference

Abstract interface for rational expression at the dynamical layer; lists the services provided by automata. More...

#include <abstract_ratexp.hh>

Public Member Functions
virtual	~abstract_ratexp_t ()
virtual ratexp_t	add (ratexp_t) const =0
virtual std::vector< label_t >	alphabet () const =0
	Gets the alphabet of this abstract_ratexp_t. More...
virtual unsigned	arity () const =0
	Returns the number of children this abstract_ratexp_t has. More...
virtual const std::vector< ratexp_t > &	children () const =0
	Returns the children of this abstract_ratexp_t. More...
virtual context_t	get_context () const =0
	Gets the context of this abstract_ratexp_t. More...
virtual ExpKind	get_kind () const =0
	Gets the kind of this abstract_ratexp_t. More...
virtual unsigned	height () const =0
virtual unsigned	length () const =0
virtual ratexp_t	lmul (weight_t w) const =0
virtual weight_t	lweight () const =0
	Gets the left weight of this abstract_ratexp_t. More...
virtual ratexp_t	mult (ratexp_t) const =0
virtual std::ostream &	print (std::ostream &) const =0
virtual ratexp_t	rmul (weight_t w) const =0
virtual weight_t	rweight () const =0
	Gets the right weight of this abstract_ratexp_t. More...
virtual unsigned	size () const =0
virtual ratexp_t	star () const =0
virtual unsigned	star_height () const =0
	Returns the maximal number of nested stars in this abstract_ratexp_t. More...
virtual label_t	value () const =0
	Gets the label of this abstract_ratexp_t (only for expression of kind ExpKind::ATOM). More...

Detailed Description

Abstract interface for rational expression at the dynamical layer; lists the services provided by automata.

See the static functions in ratexp_t for constructors.

Constructor & Destructor Documentation

~abstract_ratexp_t()

virtual awali::dyn::abstract_ratexp_t::~abstract_ratexp_t ( )

virtual

Member Function Documentation

add()

virtual ratexp_t awali::dyn::abstract_ratexp_t::add ( ratexp_t  ) const

pure virtual

alphabet()

virtual std::vector<label_t> awali::dyn::abstract_ratexp_t::alphabet ( ) const

pure virtual

Gets the alphabet of this abstract_ratexp_t.

arity()

virtual unsigned awali::dyn::abstract_ratexp_t::arity ( ) const

pure virtual

Returns the number of children this abstract_ratexp_t has.

children()

virtual const std::vector<ratexp_t>& awali::dyn::abstract_ratexp_t::children ( ) const

pure virtual

Returns the children of this abstract_ratexp_t.

get_context()

virtual context_t awali::dyn::abstract_ratexp_t::get_context ( ) const

pure virtual

Gets the context of this abstract_ratexp_t.

get_kind()

virtual ExpKind awali::dyn::abstract_ratexp_t::get_kind ( ) const

pure virtual

Gets the kind of this abstract_ratexp_t.

height()

virtual unsigned awali::dyn::abstract_ratexp_t::height ( ) const

pure virtual

length()

virtual unsigned awali::dyn::abstract_ratexp_t::length ( ) const

pure virtual

lmul()

virtual ratexp_t awali::dyn::abstract_ratexp_t::lmul ( weight_t  w ) const

pure virtual

lweight()

virtual weight_t awali::dyn::abstract_ratexp_t::lweight ( ) const

pure virtual

Gets the left weight of this abstract_ratexp_t.

mult()

virtual ratexp_t awali::dyn::abstract_ratexp_t::mult ( ratexp_t  ) const

pure virtual

print()

virtual std::ostream& awali::dyn::abstract_ratexp_t::print ( std::ostream &  ) const

pure virtual

rmul()

virtual ratexp_t awali::dyn::abstract_ratexp_t::rmul ( weight_t  w ) const

pure virtual

rweight()

virtual weight_t awali::dyn::abstract_ratexp_t::rweight ( ) const

pure virtual

Gets the right weight of this abstract_ratexp_t.

size()

virtual unsigned awali::dyn::abstract_ratexp_t::size ( ) const

pure virtual

star()

virtual ratexp_t awali::dyn::abstract_ratexp_t::star ( ) const

pure virtual

star_height()

virtual unsigned awali::dyn::abstract_ratexp_t::star_height ( ) const

pure virtual

Returns the maximal number of nested stars in this abstract_ratexp_t.

value()

virtual label_t awali::dyn::abstract_ratexp_t::value ( ) const

pure virtual

Gets the label of this abstract_ratexp_t (only for expression of kind ExpKind::ATOM).

---

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

• /home/marsault/git-client/telecom/awali.git/awali/dyn/core/abstract_ratexp.hh