| Package | Description |
|---|---|
| rationals.algebra | |
| rationals.expr |
| Modifier and Type | Class and Description |
|---|---|
class |
Matrix
Matrix representation of an automaton.
|
| Modifier and Type | Method and Description |
|---|---|
SemiRing |
SemiRing.mult(SemiRing s2)
Multiplication of semiring element with another element.
|
SemiRing |
Matrix.mult(SemiRing s2) |
SemiRing |
SemiRing.one()
Neutral element for multiplication.
|
SemiRing |
Matrix.one() |
SemiRing |
SemiRing.plus(SemiRing s2)
Addition of a Semi-ring element with another element.
|
SemiRing |
Matrix.plus(SemiRing s2) |
SemiRing |
SemiRing.zero()
Neutral element for addition.
|
SemiRing |
Matrix.zero() |
| Modifier and Type | Method and Description |
|---|---|
SemiRing |
SemiRing.mult(SemiRing s2)
Multiplication of semiring element with another element.
|
SemiRing |
Matrix.mult(SemiRing s2) |
static Matrix |
Matrix.one(int dim,
SemiRing sr)
Factory method for creating unit Matrix instances with coefficients
in a certain SemiRing.
|
SemiRing |
SemiRing.plus(SemiRing s2)
Addition of a Semi-ring element with another element.
|
SemiRing |
Matrix.plus(SemiRing s2) |
static Matrix |
Matrix.zero(int line,
int col,
SemiRing sr)
Factory method for creating Matrix instances with coefficients
in a certain SemiRing.
|
| Modifier and Type | Class and Description |
|---|---|
class |
BinaryExpr |
class |
Letter
A letter expression is simply a wrapper over any object.
|
class |
Plus
A plus expression.
|
class |
Product
A product expression.
|
class |
RationalExpr |
| Modifier and Type | Method and Description |
|---|---|
SemiRing |
RationalExpr.mult(SemiRing s2) |
SemiRing |
RationalExpr.one() |
SemiRing |
RationalExpr.plus(SemiRing s2) |
SemiRing |
RationalExpr.zero() |
| Modifier and Type | Method and Description |
|---|---|
SemiRing |
RationalExpr.mult(SemiRing s2) |
SemiRing |
RationalExpr.plus(SemiRing s2) |
Copyright © 2018. All rights reserved.