Skip to content

Provide the configuration choice to avoid flipping Inheritance when flipping Relationship for better concept generation #682

Description

@guard-who

Considering the discussion https://fmidue.slack.com/archives/D02KJ9NKYHG/p1783782625649379, should we add a new enumeration FlipNonInheritance in RelationshipMutation and parse a corresponding predicate in Alloy to prevent the generator from flipping Inheritance. In this way, we can spare more instances and avoid getting the obviously incoherent instances with concepts.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions