can crest define the data range of symbolic variables?

tthtlc / crest

Automatically exported from code.google.com/p/crest

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

can crest define the data range of symbolic variables? #20

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago


Can CREST allow add additional conditions to to restrict  symbolic variables to 
have valid ranges of values?

for example:
symbolic variable's data range is {1,2,3}, How can I define it in CREST?

Original issue reported on code.google.com by liuch9...@163.com on 19 Jul 2013 at 9:26