source: examples/alumni2_rt1_typed/creds_dump @ 8fa2c49

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 8fa2c49 was d5bbd3e, checked in by Mei <mei@…>, 12 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: 201 bytes
Line 
1 pStateU.diploma('mathmatics',1961) <- pBob
2 pStateU.diploma('zoology',1955) <- pJoe
3 pStateU.diploma('psychology',1962) <- pMaryann
4 pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1963,1961,1960])
Note: See TracBrowser for help on using the repository browser.