| Package | Description |
|---|---|
| Abstract | |
| Implemented_Function | |
| Implemented_Monoid | |
| Implemented_Operation | |
| Message |
| Modifier and Type | Class and Description |
|---|---|
class |
Abstract_Function
In math a function is a combination of operations over variable.
|
class |
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.
|
| Modifier and Type | Method and Description |
|---|---|
abstract Abstract_Atom |
Abstract_CommutativeMonoid.calculate(Abstract_Atom atom1,
Abstract_Atom atom2)
A commutative monoid must be able to do real calculations.
|
abstract Abstract_Atom |
Abstract_CommutativeMonoid.calculateOnSet(java.util.List<Variable> variable,
Abstract_Atom atom1)
A commutative monoid must be able to do real calculations.
|
Abstract_Atom |
Abstract_CommutativeSemiring.doAddition(Abstract_Atom atom1,
Abstract_Atom atom2)
This method do the addition using the commutative monoid addition between two Abstract_Atom
|
Abstract_Atom |
Abstract_CommutativeSemiring.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
|
Abstract_Atom |
Abstract_CommutativeSemiring.doMultiplication(Abstract_Atom atom1,
Abstract_Atom atom2)
This method do the addition using the multiplication commutative monoid between two Abstract_Atom
|
Abstract_Atom |
Abstract_CommutativeSemiring.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
|
| Modifier and Type | Method and Description |
|---|---|
abstract Abstract_Atom |
Abstract_CommutativeMonoid.calculate(Abstract_Atom atom1,
Abstract_Atom atom2)
A commutative monoid must be able to do real calculations.
|
abstract Abstract_Atom |
Abstract_CommutativeMonoid.calculateOnSet(java.util.List<Variable> variable,
Abstract_Atom atom1)
A commutative monoid must be able to do real calculations.
|
Abstract_Atom |
Abstract_CommutativeSemiring.doAddition(Abstract_Atom atom1,
Abstract_Atom atom2)
This method do the addition using the commutative monoid addition between two Abstract_Atom
|
Abstract_Atom |
Abstract_CommutativeSemiring.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
|
Abstract_Atom |
Abstract_CommutativeSemiring.doMultiplication(Abstract_Atom atom1,
Abstract_Atom atom2)
This method do the addition using the multiplication commutative monoid between two Abstract_Atom
|
Abstract_Atom |
Abstract_CommutativeSemiring.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
|
| Modifier and Type | Class and Description |
|---|---|
class |
AddTenVar
This class is an implementation of a function.
|
class |
AddThreeVar
This class is an implementation of a function.
|
class |
AllenFunction
This class is an implementation of a function.
|
class |
MinusOnePower
This class is an implementation of a function.
|
class |
MultiplicationIdentity
This class is an implementation of a function.
|
class |
MultTwoVar
This class is an implementation of a function.
|
class |
Number
This class is an implementation of a function.
|
class |
ProbabilityOf
This class is an implementation of a function.
|
class |
ProbabilityOfGiven
This class is an implementation of a function.
|
class |
Sudoku6_6LineOrBoxCheck
This class is an implementation of a function.
|
class |
TwoQueenCanCoexist
This class is an implementation of a function.
|
| Modifier and Type | Class and Description |
|---|---|
class |
Addition
This class is an implementation of an operation.
|
class |
AllenComposition
This class is an implementation of an operation.
|
class |
AND
This class is an implementation of an operation.
|
class |
ANDMorgan
This class is an implementation of an operation.
|
class |
GenericAdditionOperationOnSet
This class is an implementation of an operation.
|
class |
GenericMultiplicationOperationOnSet
This class is an implementation of an operation.
|
class |
Multiplication
This class is an implementation of an operation.
|
class |
OR
This class is an implementation of an operation.
|
class |
ORAllen
This class is an implementation of an operation.
|
class |
ORmorgan
This class is an implementation of an operation.
|
class |
OrOperationOnSet
This class is an implementation of an operation.
|
| Modifier and Type | Field and Description |
|---|---|
protected Abstract_Atom |
GenericAdditionOperationOnSet.additionOn |
protected Abstract_Atom |
OrOperationOnSet.additionOn |
protected Abstract_Atom |
AND.atom1 |
protected Abstract_Atom |
ANDMorgan.atom1 |
protected Abstract_Atom |
Addition.atom1 |
protected Abstract_Atom |
AllenComposition.atom1 |
protected Abstract_Atom |
Multiplication.atom1 |
protected Abstract_Atom |
OR.atom1 |
protected Abstract_Atom |
ORAllen.atom1 |
protected Abstract_Atom |
ORmorgan.atom1 |
protected Abstract_Atom |
AND.atom2 |
protected Abstract_Atom |
ANDMorgan.atom2 |
protected Abstract_Atom |
Addition.atom2 |
protected Abstract_Atom |
AllenComposition.atom2 |
protected Abstract_Atom |
Multiplication.atom2 |
protected Abstract_Atom |
OR.atom2 |
protected Abstract_Atom |
ORAllen.atom2 |
protected Abstract_Atom |
ORmorgan.atom2 |
protected Abstract_Atom |
GenericMultiplicationOperationOnSet.multiplicationOn |
| Constructor and Description |
|---|
Addition(Abstract_Atom atom1,
Abstract_Atom atom2) |
AllenComposition(Abstract_Atom atom1,
Abstract_Atom atom2) |
AND(Abstract_Atom atom1,
Abstract_Atom atom2) |
ANDMorgan(Abstract_Atom atom1,
Abstract_Atom atom2) |
GenericAdditionOperationOnSet(java.util.List<Variable> additionVariables,
Abstract_Atom additionOn) |
GenericMultiplicationOperationOnSet(java.util.List<Variable> additionVariables,
Abstract_Atom additionOn) |
Multiplication(Abstract_Atom atom1,
Abstract_Atom atom2) |
OR(Abstract_Atom atom1,
Abstract_Atom atom2) |
ORAllen(Abstract_Atom atom1,
Abstract_Atom atom2) |
ORmorgan(Abstract_Atom atom1,
Abstract_Atom atom2) |
OrOperationOnSet(java.util.List<Variable> additionVariables,
Abstract_Atom additionOn) |
| Modifier and Type | Field and Description |
|---|---|
protected Abstract_Atom |
Message.messageContent
The content of the message is an Abstract_Atom ( represent a mathematical expression ).
|
| Modifier and Type | Method and Description |
|---|---|
Abstract_Atom |
Message.getMessageContent()
Return the content of the message which is an Abstract atom
|
| Modifier and Type | Method and Description |
|---|---|
void |
Message.setMessageContent(Abstract_Atom messageContent)
Put the content of the message when the sender and receiver have been sets
|