Hi Hongwei, On Wed, Jun 15, 2016 at 4:52 PM, gmhwxi <[email protected]> wrote: > You can introduce it, but the constraint solver does not understand it. > > You need to introduce a dataprop: > > dataprop EQCHSS(chss, chss) = EQCHSS of ()
I remember this pattern. I should static function such like `fib_b` for this case? http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/PwTP-bool-vs-prop/main.html > But this is not easy to use. I think the easiest way is to define chss as > int. O.K. I use this technique. Thanks a lot, -- 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/CAEvX6dmGiLCUSSDUETG1Xa-14tUn9ef6_zksjtVQ15fJ39k5rA%40mail.gmail.com.
