RODIN / Bugs / #409 Associative Predicate does not accept <=>

#409 Associative Predicate does not accept <=>

Milestone: 1.2

Status: closed-invalid

Owner: Laurent Voisin

Labels: Event-B core (55)

Priority: 5

Updated: 2010-02-26

Created: 2010-02-25

Creator: wohuai

Private: No

When constructing an associative predicate with <=>, I get an AssertionError.

Discussion

Laurent Voisin - 2010-02-25

assigned_to: carinepascal --> lvoisin

status: open --> closed-invalid
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2010-02-25

Equivalence is not an AssociatiePredicate in the AST Library, it is a BinaryPredicate.

From the Javadoc of org.eventb.core.ast.Formula.LEQV:
/**
* <code>LEQV</code> represents \u21d4
*
* @see BinaryPredicate
*/

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

wohuai - 2010-02-25

The class comment of AssociativePredicate says that LEQV is a legal tag for associative predicates.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

wohuai - 2010-02-25

status: closed-invalid --> open-invalid
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Thomas Muller - 2010-02-26

status: open-invalid --> closed-invalid
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Thomas Muller - 2010-02-26

Corrected comment in r8344. AssociativePredicate can only accept tags from {LAND,LOR}.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.