search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Unclear preconditions for induceSpanMorphism #23

Open ggazzi opened 7 years ago

ggazzi commented 7 years ago

The method induceSpanMorphism of the FindMorphism class will sometimes generate an invalid morphism, since the desired morphism doesn't always exist.

This should be documented, or even better, it should return Nothing when the morphism doesn't exist.

lm-rodrigues commented 7 years ago

Maybe this function should be moved from FindMorphisms, since it does no implement the "intuitive" behaviour of other functions in that Type Class.