#431 closed defect (fixed)
Problems with logical functions and unknown values
| Reported by: | Francisco Muñoz | Owned by: | Víctor de Buen Remiro |
|---|---|---|---|
| Priority: | normal | Milestone: | |
| Component: | Math | Version: | head |
| Severity: | normal | Keywords: | |
| Cc: |
Description
Real Logical operations (And + Or) doenst work rigth with Unknown values
Real a = Or (?,1)
Should give you 1 but gives you ?
Real a = Or (1,?)
Gives you 1, the right value.
Real b = And (?,0)
Should give you 0 but gives you ?
Real b = And (0,?)
Gives you 0, the right value.
As a rule of thumb if the "Or" function should only give you Unknown if all the data are either 0 or (at least one) Unkown. If there is one non-false/non-unnkown value you should get 1.
The "And" function should only give you Unknown if all the data are either 1 or (at least one) Unkwown. If there is one false/non-unnkown value you should get 0.
(Even in the case of "operations-with-unknown-always-get-unknown-output" defined TOL should give us a consistent answer no matter the order of the inputs)
Related to Bug 427
Change History (4)
comment:1 Changed 19 years ago by
| Summary: | Problems with functions and unknown values → Problems with logical functions and unknown values |
|---|
comment:2 Changed 19 years ago by
| Owner: | changed from danirus to Víctor de Buen Remiro |
|---|
comment:3 Changed 19 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
The problem has been solved in the CVS.
Indeed, the omitted values were not considering of suitable form.
/
Lo mismo en castellano
/
El problema ha sido resuelto en el CVS.
Efectivamente, los valores omitidos no se estaban teniendo en cuenta de forma adecuada.
comment:4 Changed 18 years ago by
| bug_file_loc: | → http://cvs.tol-project.org/viewcvs.cgi/tol_tests/tol/Bugzilla/bug_000431 |
|---|
We are working about this bug
Thanks to report