@googlegroups.com
Subject: Re: [topbraid-users] Newbie question
Hi Irene, all,
I will definitively need to look at SPIN constraints. I do have a question
regarding ComplementOf. I cannot find any working example of this in action
and would really like to use this functionality.
Thanks again for your
-To: topbrai...@googlegroups.com javascript:
Date: Wednesday, May 13, 2015 at 7:41 AM
To: topbrai...@googlegroups.com javascript:
Subject: [topbraid-users] Newbie question
Hello all,
I am trying to create a sub-class, which includes all instances that are
NOT included in a sibling class. I
Hello all,
I am trying to create a sub-class, which includes all instances that are
NOT included in a sibling class. I tried ComplementOf and using no
NameOfSibling and no NameOfSibling. Both did not perform as expected. In
the example attached, healty drinks are to be defined as drinks which
-users@googlegroups.com
Subject: [topbraid-users] Newbie question
Hello all,
I am trying to create a sub-class, which includes all instances that are NOT
included in a sibling class. I tried ComplementOf and using no
NameOfSibling and no NameOfSibling. Both did not perform as expected. In
the example