How to use

isPredicateFor

method

in

org.kframework.compile.GenerateSortPredicateRules

MutableBoolean isProtecting = new MutableBoolean(true);
stream(mod.definedSorts()).filter(s -> mod.subsorts().lessThanEq(s, subsort)).forEach(candidateSort -> {
  if (predicateRules.stream().filter(r -> isPredicateFor(r, candidateSort)).findAny().isPresent()) {
    BooleanUtils.TRUE));
if (nonProtectingSubsorts.contains(s)) {
  res.addAll(predicateRules.stream().filter(r -> isPredicateFor(r, s)).filter(this::isTruePredicate).map(r -> promotePredicate(r, sort)).collect(Collectors.toList()));