 |
(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
|
Public Member Functions | |
| operator T () | |
| matrix (unsigned li=1, unsigned co=1) | |
| Initialize a matrix of size li x co. | |
| T & | operator() (unsigned li, unsigned co) |
| returns the entry (li,co) | |
| T | operator() (unsigned li, unsigned co) const |
| returns the entry (li,co) | |
| matrix< T > | operator+ (const matrix< T > &mat) const |
| returns the sum of two matrices (with the + rule from T) | |
| matrix< T > | operator* (const matrix< T > &mat) const |
| returns the product of two matrices (with the * rule from T) | |
| matrix< T > | lfrac (const matrix< T > &mat) const |
| returns the left product residuation of two matrices | |
| matrix< T > | rfrac (const matrix< T > &mat) const |
| returns the right product residuation of two matrices | |
| matrix< T > | inf (const matrix< T > &mat) const |
| returns the infimum of two matrices (with the rule from T) | |
| matrix< T > | star () const |
| returns the Kleene star of the current matrix | |
| unsigned int | GetRow () const |
| returns the number of rows | |
| unsigned int | GetColumn () const |
| returns the number of columns | |
| bool | operator== (const matrix< T > &m) const |
| checks equality | |
1.8.14