public class ANDMorganMonoid extends Abstract_CommutativeMonoid
label, neutralElement| Constructor and Description |
|---|
ANDMorganMonoid() |
| Modifier and Type | Method and Description |
|---|---|
Abstract_Atom |
calculate(Abstract_Atom atom1,
Abstract_Atom atom2)
A commutative monoid must be able to do real calculations.
|
Abstract_Atom |
calculateOnSet(java.util.List<Variable> variable,
Abstract_Atom atom1)
A commutative monoid must be able to do real calculations.
|
java.lang.Object |
operation(java.lang.Object number1,
java.lang.Object number2)
A commutative monoid must be able to do real calculations.
|
public Abstract_Atom calculate(Abstract_Atom atom1, Abstract_Atom atom2)
Abstract_CommutativeMonoidcalculate in class Abstract_CommutativeMonoidatom1 - the first atom for the calculationatom2 - the second atom for the calculationpublic Abstract_Atom calculateOnSet(java.util.List<Variable> variable, Abstract_Atom atom1)
Abstract_CommutativeMonoidcalculateOnSet in class Abstract_CommutativeMonoidvariable - The list of variables on which must be done the calculationatom1 - The atom that must be calculatepublic java.lang.Object operation(java.lang.Object number1,
java.lang.Object number2)
Abstract_CommutativeMonoidoperation in class Abstract_CommutativeMonoidnumber1 - a first member of the set Knumber2 - a second member of the set K