Closed kristoferB closed 9 years ago
Given a SOP, calculate what conditions that should be shown in the SOP as predicates.
I.e Relations that are not expressed by the SOP
Implemented by Kristofer.
Given a SOP, calculate what conditions that should be shown in the SOP as predicates.
I.e Relations that are not expressed by the SOP