public abstract class Abstract_CommutativeSemiring
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected Abstract_CommutativeMonoid |
additionMonoid
This field contain the addition monoid ( see definition of the class and the class Abstract_CommutativeMonoid for more information )
|
protected java.lang.String |
label
This field is for display purposes.
|
protected Abstract_CommutativeMonoid |
multiplicationMonoid
This field contain the multiplication monoid ( see definition of the class and the class Abstract_CommutativeMonoid for more information )
|
protected Abstract_SetK |
setK
This field contain the set K ( see Abstract_SetK for more informations )
|
| Constructor and Description |
|---|
Abstract_CommutativeSemiring() |
| Modifier and Type | Method and Description |
|---|---|
Abstract_Atom |
doAddition(Abstract_Atom atom1,
Abstract_Atom atom2)
This method do the addition using the commutative monoid addition between two Abstract_Atom
|
Abstract_Atom |
doAdditionOnSet(java.util.List<Variable> additionVariables,
Abstract_Atom atom)
This method do the addition using the addition commutative monoid of an atom over specific set of variables
|
java.lang.Object |
doAdditionOperation(java.lang.Object number1,
java.lang.Object number2)
This method do the addition using the addition commutative monoid between two objects
|
Abstract_Atom |
doMultiplication(Abstract_Atom atom1,
Abstract_Atom atom2)
This method do the addition using the multiplication commutative monoid between two Abstract_Atom
|
Abstract_Atom |
doMultiplicationOnSet(java.util.List<Variable> additionVariables,
Abstract_Atom atom)
This method do the multiplication using the multiplication commutative monoid of an atom over specific set of variables
|
java.lang.Object |
doMultiplicationOperation(java.lang.Object number1,
java.lang.Object number2)
This method do the multiplication using the multiplication commutative monoid between two objects
|
java.lang.Object |
getAdditionIdentity()
This method is used to obtain the identity of the additive monoid
|
java.lang.Object |
getMultiplicationIdentity()
This method is used to obtain the identity of the multiplicative monoid
|
protected java.lang.String label
protected Abstract_CommutativeMonoid additionMonoid
protected Abstract_CommutativeMonoid multiplicationMonoid
protected Abstract_SetK setK
public java.lang.Object doAdditionOperation(java.lang.Object number1,
java.lang.Object number2)
number1 - the first objectnumber2 - the second objectpublic java.lang.Object doMultiplicationOperation(java.lang.Object number1,
java.lang.Object number2)
number1 - the first objectnumber2 - the second objectpublic Abstract_Atom doAddition(Abstract_Atom atom1, Abstract_Atom atom2)
atom1 - the first atomatom2 - the second atompublic Abstract_Atom doAdditionOnSet(java.util.List<Variable> additionVariables, Abstract_Atom atom)
additionVariables - the list of variablesatom - the atom which will be calculate for the setpublic Abstract_Atom doMultiplication(Abstract_Atom atom1, Abstract_Atom atom2)
atom1 - the first atomatom2 - the second atompublic Abstract_Atom doMultiplicationOnSet(java.util.List<Variable> additionVariables, Abstract_Atom atom)
additionVariables - the list of variablesatom - the atom which will be calculate for the setpublic java.lang.Object getAdditionIdentity()
public java.lang.Object getMultiplicationIdentity()