Sziasztok!
Elég érdekes jelenségre bukkantam, s nem nagyon értem.
Az alábbi jelenség akkor állt elő, ha a kérdező indexikálisokban az X-re
írtam fel kifejezést.
Viszont ha mindezt a Z-re teszem meg, akkor rendesen lefut.
fdcheck mindkét esetben hibátlanul lefut 0..9 tartományt használva.
Krisztián
-----Original Message-----
From: Mészáros Krisztián [mailto:mk491@hszk.bme.hu]
Sent: Wednesday, January 05, 2005 10:20 PM
To: 'A Nagyhatékonyságú Logikai Programozás c. tárgy listája'
Subject: khf3
Hello!
Igazából nem nagyon szeretném feldobni a házimat, így viszont egy kissé
béna lesz a kérdés:
Szóval reifikációnál bár mindkét futásnak azonos eredményt kéne hoznia,
nem az lesz.
A következő műveletekről van szó:
1. (((8..sup) /\ 8..9) ? (inf..sup)) \/ (8..sup)
2. (((8..sup) /\ 9) ? (inf..sup)) \/ (8..sup)
Bárhogy nézem, nálam a kettő ugyanazt a végeredményt adja fejben, de
futásközben valahogy mégsem.
Tud valaki valami magyarázatot?
Köszi.
Krisztián