}
return complement;
}
private static SetValue getDifference(Attribute at, Value v, WorkingMemory wm) throws UnsupportedOperationException, NotInTheDomainException{
Value attributeValue = wm.getAttributeValue(at);
SetValue diff = (SetValue)attributeValue.except(v, at.getType());
for(Value atValue: ((SetValue)attributeValue).getValues()){
for(Value compValue: diff.getValues()){
if(atValue.eq(compValue, at.getType())){
compValue.setCertaintyFactor(atValue.getCertaintyFactor());