can crest define the data range of symbolic variables?

ncsro / crest

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

0 stars 0 forks source link

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

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 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