 |
(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
|
(Event+Time).Variant Operators
2.3
Operators for Timed Discrete Event Systems in Dioids
|
Class to describe T-operators which are coefficients of terms in T[[g]]. More...
#include <T_op.h>
Public Member Functions | |
| T_op () | |
| neutral T_op More... | |
| T_op (const dDd &term) | |
| T_op initialized with a dDd object. | |
| void | add (const dDd &term) |
| Add a dDd term to the current T-operator. | |
| void | add (const T_op &op) |
| Add a T-operator to the current T-operator. | |
| std::pair< unsigned, unsigned > | getPeriodicity () const |
| returns the periodicity of the Rw release-time function (W,V) | |
| std::vector< dDd > | getTerms () const |
| returns the collection of dDd terms | |
| unsigned | getV () const |
| Returns the V value (time multiplication) in the (W,V) periodicity. | |
| unsigned | getW () const |
| Returns the W value (time division) in the (W,V) periodicity. | |
| T_op | extendBy (unsigned mul) const |
| Extend the T-operator in a non canonical form. | |
| void | reduce () |
| Reduce to the canonical form. | |
| std::string | toString () const |
| returns a string which describes the T-operator | |
| std::string | toStringAsDeltaVar () const |
| returns a string description as d<seq> coefficients, only for a (T,T) periodic operator | |
| int | Rw (int ki) const |
| Release time evaluation. | |
| Fmaxp | getRw () const |
| Returns the release-time function. | |
| void | setFromRw (const Fmaxp &) |
| Sets from a release-time function. | |
| T_op | operator+ (const T_op &f) const |
| Returns the sum (max) of T_ops. | |
| T_op | oplus (const T_op &f) const |
| Returns the sum (max) of T_ops. | |
| T_op | operator* (const T_op &f) const |
| Returns the composition of T_ops. | |
| T_op | otimes (const T_op &f) const |
| Returns the composition of T_ops. | |
| T_op | inf (const T_op &f) const |
| Returns the min of T_ops. | |
| T_op | lfrac (const T_op &f) const |
| Returns the residuation of left composition of T_ops. | |
| T_op | rfrac (const T_op &f) const |
| Returns the residuation of right composition of T_ops. | |
| bool | operator== (const T_op &w) const |
| checks equality | |
| bool | operator!= (const T_op &w) const |
| checks inequality | |
| bool | operator<= (const T_op &w) const |
| bool | operator>= (const T_op &w) const |
| bool | operator> (const T_op &w) const |
| bool | operator< (const T_op &w) const |
Static Public Member Functions | |
| static T_op | E () |
| neutral T_op | |
| static T_op | Vee (unsigned v) |
| Vee_v time multiplier. | |
| static T_op | Wedge (unsigned w) |
| Wedge_w time divisor. | |
| static T_op | Delta (unsigned vw) |
| Delta_vw. | |
| static T_op | Delta (unsigned v, unsigned w) |
| V_v.W_w composed T_op. | |
| static T_op | deltaVar (const std::vector< int > &delays) |
| delta^<t1,t2..> | |
| static T_op | delta (int t) |
| delta^t | |
| static T_op | leastCausal (unsigned v, unsigned w) |
Protected Attributes | |
| Fmaxp | _fper |
Class to describe T-operators which are coefficients of terms in T[[g]].
1.8.14