208209210211212213214215216217218
tableauRules.add(minRule); // no need to add allValuesRule to the list since it is applied on-the-fly if (expr.hasComplexSubRoles()) { allValuesRule = new AllValuesRule(this); } else { allValuesRule = new SimpleAllValuesRule(this); }
230231232233234235236
tableauRules.add(unfoldingRule); tableauRules.add(disjunctionRule); tableauRules.add(someValuesRule); tableauRules.add(minRule); allValuesRule = new AllValuesRule(this); }