You can introduce it, but the constraint solver does not understand it. You need to introduce a dataprop:
dataprop EQCHSS(chss, chss) = EQCHSS of () But this is not easy to use. I think the easiest way is to define chss as int. On Wednesday, June 15, 2016 at 3:42:25 AM UTC-4, Kiwamu Okabe wrote: > > Hi Hongwei, > > On Wed, Jun 15, 2016 at 1:23 PM, Hongwei Xi <[email protected] > <javascript:>> wrote: > > == is not defined for terms of datasort chss. > > > > Don't define chss as a datasort. Try: > > > > sortdef chss = int > > #define chss_init 0 > > #define chss_ilock ... > > There are no method to introduce == operation over my datasort? > May I use `stacst` for it? > > Best regards, > -- > Kiwamu Okabe at METASEPI DESIGN > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/93c6bded-265a-4296-88db-1c880c0fd155%40googlegroups.com.
