Check consistency
Constraints can be defined to control the set of facts. See more about Constraints
The Toolbar and Tools/Reasoning sub-menu provide a wizard to check consistencies.
The 3 steps of the wizard:
The wizard triggers messages in the Debug window when some constraints are violated.
Double click on messages to reach the part of the graph containing inconsistencies:
a negative constraint is violated |
a positive constraint is violated |
Created with the Personal Edition of HelpNDoc: Free PDF documentation generator