public void activateDifferents(final Individual ind) { final List<AlphaNode> alphas = _map.get("DIFFERENT"); if (alphas != null) for (final Node n : ind.getDifferents()) { final Individual diff = (Individual) n; for (final AlphaNode alpha : alphas) ((AlphaDiffFromNode) alpha).activate(ind, diff, ind.getDifferenceDependency(diff)); } }
public void activateDifferents(final Individual ind) { final List<AlphaNode> alphas = _map.get("DIFFERENT"); if (alphas != null) for (final Node n : ind.getDifferents()) { final Individual diff = (Individual) n; for (final AlphaNode alpha : alphas) ((AlphaDiffFromNode) alpha).activate(ind, diff, ind.getDifferenceDependency(diff)); } }
@Override public DependencySet check(final VariableBinding binding) { return binding.get(_arg1).getDifferenceDependency(binding.get(_arg2)); }
@Override public DependencySet check(final VariableBinding binding) { return binding.get(_arg1).getDifferenceDependency(binding.get(_arg2)); }
ds = ds.union(y.getDifferenceDependency(z), _strategy.getABox().doExplanation()); if (_strategy.getABox().doExplanation()) _strategy.getABox().setClash(Clash.nominal(y, ds, z.getName()));
ds = ds.union(y.getDifferenceDependency(z), _strategy.getABox().doExplanation()); if (_strategy.getABox().doExplanation()) _strategy.getABox().setClash(Clash.nominal(y, ds, z.getName()));
final DependencySet ds = ind1.getDifferenceDependency(ind2); if (ds != null) return ds.isIndependent() ? Bool.FALSE : Bool.UNKNOWN;
final DependencySet ds = ind1.getDifferenceDependency(ind2); if (ds != null) return ds.isIndependent() ? Bool.FALSE : Bool.UNKNOWN;
ds = ds.union(next.getDifferenceDependency(head), _abox.doExplanation()); if (r.isFunctional()) _abox.setClash(Clash.functionalCardinality(x, ds, r.getName()));
ds = ds.union(next.getDifferenceDependency(head), _abox.doExplanation()); if (r.isFunctional()) _abox.setClash(Clash.functionalCardinality(x, ds, r.getName()));
final DependencySet ds = node.getDifferenceDependency(ind); if (ds.max() > _branchIndex || ds.getBranch() > _branchIndex) throw new InternalReasonerException("Invalid ds: " + node + " != " + ind + " " + ds);
final DependencySet ds = node.getDifferenceDependency(ind); if (ds.max() > _branchIndex || ds.getBranch() > _branchIndex) throw new InternalReasonerException("Invalid ds: " + node + " != " + ind + " " + ds);