vcsn::rat::identities Class Reference

An expressionset can implement several different sets of identities on expressions. More...

#include <identities.hh>

Collaboration diagram for vcsn::rat::identities:

Public Types
enum	ids_t {   none, trivial, associative, linear,   distributive, agressive, deflt = linear }
using	self_t = identities

Public Member Functions
	identities (ids_t id=deflt)
	identities (const std::string &i)
	Build from a string. More...
	identities (const char *cp)
	Build from a literal string. More...
ids_t	ids () const
bool	is_agressive () const
	Whether agressive optimizations are on. More...
bool	is_associative () const
	Whether associative. More...
bool	is_distributive () const
	Whether distributive. More...
bool	is_linear () const
	Whether linear. More...
	operator bool () const
	Whether not none. More...
bool	operator< (self_t that) const
bool	operator== (self_t that) const
bool	operator!= (self_t that) const

Private Attributes
ids_t	ids_

Detailed Description

An expressionset can implement several different sets of identities on expressions.

This type represents one of those sets.

Could have been a simple enum class, but having a constructor is helping to select the default identities other than the first one.

Definition at line 20 of file identities.hh.

Member Typedef Documentation

self_t

using vcsn::rat::identities::self_t = identities

Definition at line 23 of file identities.hh.

Member Enumeration Documentation

ids_t

enum vcsn::rat::identities::ids_t

Enumerator
none	Strictly obey to the syntax.
trivial	Trivial identities only.
associative	Trivial, plus associativity of add and product.
linear	Associative plus commutativity, and "idempotence" for add.
distributive	Linear plus distribution. Used for series identities.
agressive	Linear plus optimizations.
deflt	The default value.

Definition at line 25 of file identities.hh.

Constructor & Destructor Documentation

identities() [1/3]

vcsn::rat::identities::identities ( ids_t  id = deflt )

inline

Definition at line 50 of file identities.hh.

Referenced by vcsn::dyn::detail::identities_of().

identities() [2/3]

vcsn::rat::identities::identities

(

const std::string &

i

)

Build from a string.

Definition at line 17 of file identities.cc.

References agressive, associative, deflt, distributive, ids_, linear, none, and trivial.

identities() [3/3]

vcsn::rat::identities::identities

(

const char *

cp

)

Build from a literal string.

Definition at line 38 of file identities.cc.

Member Function Documentation

ids()

ids_t vcsn::rat::identities::ids ( ) const

inline

Definition at line 60 of file identities.hh.

References ids_.

Referenced by vcsn::rat::to_string().

is_agressive()

bool vcsn::rat::identities::is_agressive ( ) const

inline

Whether agressive optimizations are on.

Definition at line 66 of file identities.hh.

References agressive, and ids_.

is_associative()

bool vcsn::rat::identities::is_associative ( ) const

inline

Whether associative.

Definition at line 72 of file identities.hh.

References associative, and ids_.

is_distributive()

bool vcsn::rat::identities::is_distributive ( ) const

inline

Whether distributive.

Definition at line 78 of file identities.hh.

References distributive, and ids_.

Referenced by vcsn::rat::expressionset_impl< Context >::expressionset_impl(), and vcsn::rat::expressionset_impl< Context >::print_set().

is_linear()

bool vcsn::rat::identities::is_linear ( ) const

inline

Whether linear.

Definition at line 84 of file identities.hh.

References ids_, and linear.

Referenced by vcsn::rat::expressionset_impl< Context >::rweight().

operator bool()

vcsn::rat::identities::operator bool ( ) const

inline

Whether not none.

Definition at line 90 of file identities.hh.

References ids_, and none.

operator!=()

bool vcsn::rat::identities::operator!= ( self_t  that ) const

inline

Definition at line 105 of file identities.hh.

References operator==().

Here is the call graph for this function:

operator<()

bool vcsn::rat::identities::operator< ( self_t  that ) const

inline

Definition at line 95 of file identities.hh.

References ids_.

operator==()

bool vcsn::rat::identities::operator== ( self_t  that ) const

inline

Definition at line 100 of file identities.hh.

References ids_.

Referenced by operator!=().

Member Data Documentation

ids_

ids_t vcsn::rat::identities::ids_

private

Definition at line 111 of file identities.hh.

Referenced by vcsn::rat::expressionset_impl< Context >::conv(), identities(), ids(), is_agressive(), is_associative(), is_distributive(), is_linear(), operator bool(), operator<(), and operator==().

---

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

• vcsn/core/rat/identities.hh
• lib/vcsn/rat/identities.cc