Project

General

Profile

Support #3787

Enable quantifier unfolding by default

Added by Simon Barner over 1 year ago. Updated 9 months ago.

Status:
New
Priority:
Normal
Category:
-
Target version:
Start date:
07/30/2019
Due date:
% Done:

0%

Estimated time:

Description

Until #3703 is resolved, quantifications over subsets are only evaluated correctly if they are unfolded, i.e. explicitly qtfer.setUnfold(true) is invoked.

To implement a more defensive strategy, the default value of IQuantifierExpression::unfold should be set to true and all explicit invocations of setUnfold() in the code should be removed.

History

#1 Updated by Tiziano Munaro about 1 year ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.17 (Feature Freeze)

#2 Updated by Alexander Diewald 9 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to Backlog

Also available in: Atom PDF