Revise the <=> (doble implication) semantic in the UVL Reader for constraints

flamapy / fm_metamodel

This repo host the feature model concrete classes

3 stars 5 forks source link

Closed jmhorcas closed 2 months ago

jmhorcas commented 12 months ago

I may be wrong defined in somewhere. A <=> !B in FeatureIDE is ok, but not in Flama. In Flama I need to put: A => !B !B => A

jagalindo commented 2 months ago

This has been already addressed