| Class | Description |
|---|---|
| Abstract_Atom |
In math a basic operation ( ie : multiplication) is composed of one operation and two atoms that are the two members of the operation.
|
| Abstract_CommutativeMonoid |
In math a commutative monoid is the association of a set K and an operation.
|
| Abstract_CommutativeSemiring |
In math a commutative semi-ring is a set K together with two binary operations called "+" and "
|
| Abstract_Function |
In math a function is a combination of operations over variable.
|
| Abstract_Operation |
This class is a pattern for all the instantiated Operations ( ie : addition, multiplication, comparison ..... )
By extending this class an operation will be able to fit in the library, and so perform the calculation as part of a monoid
In the GDL context this class is used as definition for the operations computed in the monoid.
|
| Abstract_SetK |
This class represent a mathematical set.
|