/**
* Creates a negation of several criterion
*
* @return The negation
*/
public Junction negation() {
Negation dis = new Negation();
if (criteria.isEmpty()) {
criteria = dis;
return criteria;
} else {
criteria.add(dis);
return dis;
}
}
