public boolean hasDistinctRNeighborsForMin(final Role r, final int n, final ATermAppl c) { return hasDistinctRNeighborsForMin(r, n, c, false); }
public boolean hasDistinctRNeighborsForMin(final Role r, final int n, final ATermAppl c) { return hasDistinctRNeighborsForMin(r, n, c, false); }
if (x.hasDistinctRNeighborsForMin(r, n, c)) return;
if (x.hasDistinctRNeighborsForMin(r, n, c)) return;
if (!o.hasDistinctRNeighborsForMin(pred.getInverse(), max, ATermUtils.TOP, true))
if (!o.hasDistinctRNeighborsForMin(pred.getInverse(), max, ATermUtils.TOP, true))
return; if (x.hasDistinctRNeighborsForMin(r, n, ATermUtils.TOP, true)) return;
return; if (x.hasDistinctRNeighborsForMin(r, n, ATermUtils.TOP, true)) return;