Commit [c9bfd9]  Maximize  Restore  History

Fix form of quantified expressions

The form used to remain implicit when the expression did not contain all
quantified identifiers, or when it contained externally bound identifiers.
The form filter now performs these additional checks, and switches to
explicit form when they are not fulfilled.

Add corresponding tests.

Fix test quantifiedExpression_LambdaToImplicit which was wrong.

Nicolas Beauger Nicolas Beauger 2014-02-10

Laurent Voisin Laurent Voisin 2014-02-20

changed org.eventb.core.ast.tests/src/org/eventb/core/ast/tests/TestFormulaFactory.java
changed org.eventb.core.ast.tests/src/org/eventb/core/ast/tests/TestUnparse.java
changed org.eventb.core.ast/src/org/eventb/core/ast/QuantifiedExpression.java
org.eventb.core.ast.tests/src/org/eventb/core/ast/tests/TestFormulaFactory.java Diff Switch to side-by-side view
Loading...
org.eventb.core.ast.tests/src/org/eventb/core/ast/tests/TestUnparse.java Diff Switch to side-by-side view
Loading...
org.eventb.core.ast/src/org/eventb/core/ast/QuantifiedExpression.java Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks