mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change
on this file since f0eb81d was
d5bbd3e,
checked in by Mei <mei@…>, 13 years ago
|
1) add alumni2_rt1_typed
(target static range constraint)
2) add another rule for fruits example
3) add target static range constraint handling for string & urn
|
-
Property mode set to
100644
|
File size:
266 bytes
|
Rev | Line | |
---|
[c586a3c] | 1 | pRalphs.fruitprice(1.50) <- 'apple' |
---|
[36b100a] | 2 | pRalphs.fruitprice(2.50) <- 'black rasberry' |
---|
[d5bbd3e] | 3 | pRalphs.fruitprice(1.50) <- 'kiwi' |
---|
[36b100a] | 4 | pRalphs.fruitprice(0.50) <- 'navel orange' |
---|
[c586a3c] | 5 | pBob.what2eat <- pRalphs.fruitprice(P:[1.00..5.00]) |
---|
| 6 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
---|
Note: See
TracBrowser
for help on using the repository browser.