public abstract class Abstract_CommutativeMonoid
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
label
This field is for display purposes and contain the name of the monoid
|
protected java.lang.Object |
neutralElement
As mentioned in the class description, a commutative monoid must comport a neutral element.
|
| Constructor and Description |
|---|
Abstract_CommutativeMonoid() |
| Modifier and Type | Method and Description |
|---|---|
abstract Abstract_Atom |
calculate(Abstract_Atom atom1,
Abstract_Atom atom2)
A commutative monoid must be able to do real calculations.
|
abstract Abstract_Atom |
calculateOnSet(java.util.List<Variable> variable,
Abstract_Atom atom1)
A commutative monoid must be able to do real calculations.
|
abstract java.lang.Object |
operation(java.lang.Object number1,
java.lang.Object number2)
A commutative monoid must be able to do real calculations.
|
protected java.lang.Object neutralElement
protected java.lang.String label
public abstract Abstract_Atom calculate(Abstract_Atom atom1, Abstract_Atom atom2)
atom1 - the first atom for the calculationatom2 - the second atom for the calculationpublic abstract Abstract_Atom calculateOnSet(java.util.List<Variable> variable, Abstract_Atom atom1)
variable - The list of variables on which must be done the calculationatom1 - The atom that must be calculatepublic abstract java.lang.Object operation(java.lang.Object number1,
java.lang.Object number2)
number1 - a first member of the set Knumber2 - a second member of the set K