a specific spin question: when I run inference on diff. width and length I get multiple values for area also when I define 3 cardinality=1 restrictions (for width, length and area)
next when I check consistency I see no warnings, is that expected? isnt there a way to just override de earlier calculated value? thx Michel ps just a general question....as derivations can be seen as specific restriction wouldnt one want only 'restrictions'that are not only checked by also satisfied in some way? (instead of : construct area:= length*width >>>> ask/make area = length*width, in a symmetric way ...... or is this something for the future?? This e-mail and its contents are subject to the DISCLAIMER at http://www.tno.nl/emaildisclaimer -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. 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-users?hl=en
