public static final class Morphism.MorphismResult
extends java.lang.Object
Constructor and Description |
---|
Morphism.MorphismResult() |
Modifier and Type | Method and Description |
---|---|
Morphism |
getCodomainCorrespondence()
Returns the codomain correspondence morphism.
|
Morphism |
getDomainCorrespondence()
Returns the domain correspondence morphism.
|
Morphism |
getResult()
Returns the result morphism.
|
public Morphism getResult()
public Morphism getDomainCorrespondence()
getResult()
.public Morphism getCodomainCorrespondence()
getResult()
.