The post_process API reference¶
Copyright 2019 Simon Vandevelde, Bram Aerts, Joost Vennekens This code is licensed under GNU GPLv3 license (see LICENSE) for more information. This file is part of the cDMN solver.
merge_definitions(idp: str) → str¶
In cDMN, it is possible to create different tables that each define the same concept. In cases where relations are defined, this can be problematic. E.g., in the Vacation_Days_Advanced_old example, we define the Employee eligible for Rule relation in 5 different tables, each for a different value of Rule. In IDP, a definition is expected to be complete: all possible values for the defined concept should be defined. All other values are implicitly impossible. Because the cDMN implementation creates 5 different definitions, each defining a different value, this results in an unsat in IDP.
The solution to this problem is to merge all tables defining the same concept.