Fix 4 src trg injectivity ignore

eMoflon / emoflon-ibex

Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations

GNU General Public License v3.0

13 stars 4 forks source link

Closed Arikae closed 5 years ago

Arikae commented 5 years ago

Domain Conformity is now toggle via IbexOptions Injectivity Constraints can now be filtered using a BiPredicate also via IbexOptions