ap.terfor.inequalities.IntervalProp
Exception thrown when inconsistency of inequalities is detected.
(Since version ) see corresponding Javadoc for more information.
Exception thrown when inconsistency of inequalities is detected.