Thanks ... is it possible to query these violations, or do I need to use the CONSTRUCT form to do that?
On Wed, Mar 10, 2010 at 9:18 AM, Scott Henninger <[email protected] > wrote: > Tim; If you are working in Composer's User interface, open the > Problems view and refresh. All of the constraint violations, > including ASK violations will appear. > > If you're working with sml:CheckConstraints in a script, the module > will return all triples constructed by violations, so ASK violations > will not appear. > > -- Scott > > On Mar 10, 8:43 am, Tim Darr <[email protected]> wrote: > > I'd like to know if it is possible to inspect the constraint > > violations that result from an ASK spin:constraint? I read on the SPIN > > website about the differences between and ASK and CONSTRUCT constraint > > (where the CONSTRUCT form explicitly creates an instance of a > > spin:ConstraintViolation). > > > > I assume that the only way to manipulate or reason over constraint > > violations is to use the CONSTRUCT form of a SPIN constraint. > > -- > You received this message because you are subscribed to the Google Groups > "TopBraid Composer Users" group. > To post to this group, send email to > [email protected]. > To unsubscribe from this group, send email to > [email protected]<topbraid-composer-users%[email protected]> > . > For more options, visit this group at > http://groups.google.com/group/topbraid-composer-users?hl=en. > > -- Tim Darr [email protected] -- You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en.
