|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.Address
public final class Address
Utilities for address management.
Method Summary | |
---|---|
static Module |
getCommonDenotatorModule(java.util.List<Denotator> denotators)
Returns a common module for the addresses of the given list of denotators. |
static Module |
getCommonModule(java.util.List<Module> modules)
Returns a common module for the given list of modules. |
static Module |
getCommonModule(Module... modules)
Returns a common module for the given list of modules. |
static int |
getMaxDimension(java.util.Collection<Module> modules)
Returns the largest dimension among the given modules. |
static Ring |
getMinRing(java.util.Collection<Ring> rings)
Returns the minimal ring among the given rings. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static Module getCommonModule(Module... modules)
public static Module getCommonModule(java.util.List<Module> modules)
public static Module getCommonDenotatorModule(java.util.List<Denotator> denotators)
public static int getMaxDimension(java.util.Collection<Module> modules)
public static Ring getMinRing(java.util.Collection<Ring> rings)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |