Package | Description |
---|---|
de.uni_due.inf.ti.graph |
Modifier and Type | Method and Description |
---|---|
Morphism.MorphismResult |
Morphism.getSurjectiveMorphism()
Creates a new morphism which is equal to this morphism, except that
the codomain is restricted to the range of this morphism.
|
Morphism.MorphismResult |
Morphism.getTotalSurjectiveMorphism()
Creates a new morphism which is equal to this one, except that the
domain and codomain are restricted to be the definition domain and
range of this morphism.
|