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

Duplicated code for conflicts and dependencies #58

Open ggazzi opened 7 years ago

ggazzi commented 7 years ago

The modules that implement the search for conflicts and dependencies have lot of duplicated code. In particular, some pushout complements are calculated in multiple places, some searches for morphisms are repeated in multiple places. We should try to reduce this duplication.

ggazzi commented 7 years ago

Why are there multiple functions findAllDeleteUse, findAllProduceForbid, etc, instead of just one findAllConflicts whose result can be filtered as required?