org.eclipse.jst.jsf.common.sets.mapping
Interface AxiomaticSetMapping
-
All Known Subinterfaces:
-
ObjectInjectiveSetMapping
-
All Known Implementing Classes:
-
AbstractObjectInjectiveSetMapping,
ElementToTagIdentifierMapping
-
public interface AxiomaticSetMapping
Defines an axiomatic mapping from set to another. In formal notation, this may
also be defined as a "function" or a "proposition".
Applying the map method can be seen as being equivalent to:
AxiomaticSetMapping: set -> map(set)
Provisional API - subject to change
map
AxiomaticSet map(
AxiomaticSet set)
-
-
Parameters:
-
set
-
-
Returns:
- the new set resulting from applying the map to set