268269270271272273274275276277278279
proposition.addTerms(terms); propositionImpls.add(proposition); break; case NOT: NotExp notExp = (NotExp) exp; propositionImpls.addAll(getPropositionFromDomainExp(notExp.getExp(), true)); break; default: break; } return propositionImpls;
331332333334335336337338339340341342
proposition.addTerms(terms); propositionImpls.add(proposition); break; case NOT: NotExp notExp = (NotExp) exp; propositionImpls.addAll(getPropositionFromProblemExp(notExp.getExp(), true)); break; default: break; }