Interface Semigroup<T>
-
- Type Parameters:
T
- the type of the elements of the semigroup
- All Superinterfaces:
GrouplikeStructure<T>
,Magma<T>
,Structure<T>
- All Known Subinterfaces:
AbelianGroup<T>
,CommutativeMonoid<T>
,CommutativeSemigroup<T>
,Group<T>
,Monoid<T>
- All Known Implementing Classes:
AbstractAbelianGroup
public interface Semigroup<T> extends Magma<T>
Represents the algebraic structure of a semigroup (the same as an associative magma). This means that it the operation is an associative one.- See Also:
- http://en.wikipedia.org/wiki/Semigroup
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description AssociativeOperation<T>
operation()
Has to return the binary operation (M x M = M) for this Magma.
-
-
-
Method Detail
-
operation
AssociativeOperation<T> operation()
Description copied from interface:GrouplikeStructure
Has to return the binary operation (M x M = M) for this Magma.- Specified by:
operation
in interfaceGrouplikeStructure<T>
- Returns:
- the binary operation.
-
-