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